Differences between bors and homu

[Kobzol]

This tracking issue enumerates (known) differences between the new bors and the original homu repository. We can decide later whether to keep the differences or keep compatibility with homu.

Note that this list is incomplete!

• Setting priority of PRs requires review permissions in bors, but try in homu.
  • feat: add priority option #205
• bors does not implement max_priority option of pull requests.
  • feat: add priority option #205
• Repository name is included in the commit message (reverted)
  • Include repo name in merge commit #166
  • This might require fixing some third-party tools that depend on the homu commit message format.
• Delegation only allows delegate+ and delegate-, not delegating to a specific user.
  • feat: add delegation commands #210
• Bors does not allow retrying try builds, and it does not keep a retry log.
  • Add @bors retry #428