RFR: merge-bot: recreate repository on failed push

Erik Helin ehelin at openjdk.java.net
Wed Apr 8 11:30:04 UTC 2020

Hi all,

please review this patch that makes the merge bot recreate the repository on a
failed push. A push can fail for a variety of reasons: network errors,
conflicting push by another contributor, etc. The safest, and easiest, way to
handle this scenario is to just recreate the repository. To make this operation
cheap I made the merge bot utilize a `HostedRepositoryPool`.

- `make test` passes on Linux x64



Commit messages:
 - merge-bot: recreate repository on failed push

Changes: https://git.openjdk.java.net/skara/pull/570/files
 Webrev: https://webrevs.openjdk.java.net/skara/570/webrev.00
  Stats: 57 lines in 1 file changed: 35 ins; 20 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/570.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/570/head:pull/570

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

More information about the skara-dev mailing list