RFR: Add merge bot
Erik Duveblad via github.com
duke at openjdk.java.net
Thu Aug 29 10:16:20 UTC 2019
Hi,
this patch adds a merge bot. The merge automatically tries to merge a branch from one repository to another. If the merge fails then the bot will open a PR describing the commits that couldn't be merge. Once the conflicts have been resolved and pushed/integrated by a human contributor, then the bot will automatically close the PR.
## Testing
- [x] `sh gradlew test` passes on Linux x86_64
- [x] Added four new unit tests
Thanks,
Erik
----------------
Commits:
- 7fc5a814: Add merge bot
Pull request:
https://git.openjdk.java.net/skara/pull/104
Webrev:
https://webrevs.openjdk.java.net/skara/104/webrev.00
Patch:
https://git.openjdk.java.net/skara/pull/104.diff
Fetch command:
git fetch https://git.openjdk.java.net/skara pull/104/head:pull/104
More information about the skara-dev
mailing list