Skip to content
Permalink
Browse files
merge-bot: give each branch a new number as name
Reviewed-by: rwestberg
  • Loading branch information
edvbld committed Apr 15, 2020
1 parent 0a71dcf commit a5b7492204c74376d82cc2c881f43abbe59a01d4
Showing with 3 additions and 1 deletion.
  1. +3 −1 bots/merge/src/main/java/org/openjdk/skara/bots/merge/MergeBot.java
@@ -453,7 +453,9 @@ public void run(Path scratchPath) {
repo.abortMerge();

var fromRepoName = Path.of(fromRepo.webUrl().getPath()).getFileName();
var branchDesc = Integer.toString(prs.size() + 1);

var numBranchesInFork = repo.remoteBranches(fork.webUrl().toString()).size();
var branchDesc = Integer.toString(numBranchesInFork + 1);
repo.push(fetchHead, fork.url(), branchDesc, true);

log.info("Creating pull request to alert");

0 comments on commit a5b7492

Please sign in to comment.