RFR: 275: PR bot should allows merge-style PRs with only branch names

Robin Westberg rwestberg at openjdk.java.net
Mon Feb 17 14:43:17 UTC 2020


Hi all,

Please review this change that allows merge-style PRs to only reference the source branch name, in case the source is in the same repository.

Best regards,
Robin

-------------

Commits:
 - 3467d1f2: Allow intra-repo merges with branchname only

Changes: https://git.openjdk.java.net/skara/pull/443/files
 Webrev: https://webrevs.openjdk.java.net/skara/443/webrev.00
  Issue: https://bugs.openjdk.java.net/browse/SKARA-275
  Stats: 111 lines in 2 files changed: 90 ins; 2 del; 19 mod
  Patch: https://git.openjdk.java.net/skara/pull/443.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/443/head:pull/443

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


More information about the skara-dev mailing list