RFR: merge-bot: create integrateable pull requests
Erik Helin
ehelin at openjdk.java.net
Wed Apr 1 14:32:09 UTC 2020
Hi all,
please review this patch that makes the merge bot creates pull requests that can be integrated. With this new version
of the merge bot contributors will be able to update the "merge style" PR created by the automatic merge bot. This
should reduce the overhead quite a bit for resolving a merge conflict.
Testing:
- `make test`
- Updated unit tests
Thanks,
Erik
-------------
Commit messages:
- Use (most likely) PR id as branch name
- merge-bot: create real merge PRs and integrate them
Changes: https://git.openjdk.java.net/skara/pull/557/files
Webrev: https://webrevs.openjdk.java.net/skara/557/webrev.00
Stats: 261 lines in 13 files changed: 69 ins; 125 del; 67 mod
Patch: https://git.openjdk.java.net/skara/pull/557.diff
Fetch: git fetch https://git.openjdk.java.net/skara pull/557/head:pull/557
PR: https://git.openjdk.java.net/skara/pull/557
More information about the skara-dev
mailing list