[Pulp-dev] PR merging

David Davis daviddavis at redhat.com
Tue Sep 29 16:48:07 UTC 2020

Hi all,

Last week the discussion about how to merge PRs got me thinking about how
we could potentially programmatically merge PRs. The openshift project on
github does this[0] and I wondered if it would work for Pulp.

I think the main benefits would be (1) we'd be able to code how to best
merge PRs and (2) we'd no longer see PRs sitting around that are ready to
merge but not merged (granted this doesn't happen often).

I created a PoC against the PR processor that's quite simple (here are the
relevant bits[1]). It's worth noting that we can still prevent PRs from
being merged by setting them to drafts (I believe both the PR author or any
repo owner do this) and the PR processor won't merge anything unless it's
ready to be merged.

I myself am a bit conflicted about this so feedback would be appreciated.

[0] https://github.com/openshift

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listman.redhat.com/archives/pulp-dev/attachments/20200929/4213add2/attachment.htm>

More information about the Pulp-dev mailing list