Retry integration after a push to the target branch

musicismyalibi commented 1 year ago

fixes #183

With this change hoff will listen for push events. When a push event to a branch comes in it will reset the integration status of the pull requests that target the pushed branch to restart integration. The added workflow is like this:

A push webhook event is received
It is checked whether this is a push to a branch and it is not a push caused by merging one of the known pull requests
The integration status of all pull requests that target the pushed branch are set to Outdated
A comment is added to the pull request on GitHub to tell that the integration became outdated
The integration is started again

musicismyalibi commented 1 year ago

@OpsBotPrime merge

OpsBotPrime commented 1 year ago

Pull request approved for merge by @musicismyalibi, rebasing now.

OpsBotPrime commented 1 year ago

Rebased as 69eb33d7356a52b748f49ef35544d880a1fc01db, waiting for CI …

OpsBotPrime commented 1 year ago

CI job :yellow_circle: started.

channable / hoff

Retry integration after a push to the target branch #238