Remember previously merged PRs for detecting pushes to master

channable / hoff

A gatekeeper for your commits

Apache License 2.0

41 stars 3 forks source link

Remember previously merged PRs for detecting pushes to master #254

Closed musicismyalibi closed 7 months ago

musicismyalibi commented 7 months ago

Adds an extra list to the state with recently merged PRs. When detecting a push to master we use this list to check if the push is from merging one of the known PRs.

musicismyalibi commented 7 months ago

@OpsBotPrime merge

HoffBotPrime commented 7 months ago

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

HoffBotPrime commented 7 months ago

Rebased as e163a285993ad723be9be15bc792371ce449f161, waiting for CI …

HoffBotPrime commented 7 months ago

CI job :yellow_circle: started.