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

Robin Westberg rwestberg at openjdk.java.net
Wed Apr 15 09:39:40 UTC 2020

On Wed, 15 Apr 2020 09:26:51 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> 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 ��
> Testing:
> - `make test` on Linux x64 passes
> Thanks,
> Erik

Looks good!


Marked as reviewed by rwestberg (Reviewer).

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

More information about the skara-dev mailing list