RFR: merge-bot: give each branch a new number as name

Erik Helin ehelin at openjdk.java.net
Wed Apr 15 09:31:30 UTC 2020

Hi all,

please review this patch that makes the merge bot always increment its branch
names by one. The previous code (mistakenly) used the number of open pull
request, but that is not monotonically increasing. Since the merge bot does not
delete branches it has created, the number of branches should be monotonically
increasing ��

- `make test` on Linux x64 passes



Commit messages:
 - merge-bot: give each branch a new number as name

Changes: https://git.openjdk.java.net/skara/pull/579/files
 Webrev: https://webrevs.openjdk.java.net/skara/579/webrev.00
  Stats: 3 lines in 1 file changed: 2 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/skara/pull/579.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/579/head:pull/579

PR: https://git.openjdk.java.net/skara/pull/579

More information about the skara-dev mailing list