<div dir="ltr">Hi all,<div><br></div><div>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.</div><div><br></div><div>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). </div><div><br></div><div>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.</div><div><br></div><div>I myself am a bit conflicted about this so feedback would be appreciated. </div><div><br></div><div>[0] <a href="https://github.com/openshift">https://github.com/openshift</a></div><div>[1] <a href="https://github.com/pulp/pulp-ci/pull/737/files#diff-cbdf61d38083f599940c37eeb49cb0a9R116-R141">https://github.com/pulp/pulp-ci/pull/737/files#diff-cbdf61d38083f599940c37eeb49cb0a9R116-R141</a><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><br></div><div>David</div></div></div></div></div></div></div></div></div></div>