Wait with push to master until PR is updated

channable / hoff

A gatekeeper for your commits

Apache License 2.0

41 stars 3 forks source link

Wait with push to master until PR is updated #246

Closed musicismyalibi closed 10 months ago

musicismyalibi commented 11 months ago

After force pushing to the PR branch we wait until we receive the GitHub event that the commit for the PR has changed before pushing to master. If this event takes too long to arrive we push to master anyway.

Resolves #196

fatho commented 11 months ago

@crtschin Can you have a look at this PR? I think you have more context on Hoff than I

ruuda commented 11 months ago

I take it #245 did not solve the problem then?

musicismyalibi commented 10 months ago

@OpsBotPrime merge

OpsBotPrime commented 10 months ago

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

OpsBotPrime commented 10 months ago

Rebased as e0c169e7992c3304912a85ea341e08cf184356b8, waiting for CI …

OpsBotPrime commented 10 months ago

CI job :yellow_circle: started.