I think the fact that they pile up is because our merge strategy means we don't actually merge using the PR's we use for review so there's nothing codified in the workflow to close them out when a ticket's done.
An easy fix would be to change our merge strategy and use the merge button on PR's to merge things in so they auto-close. :) (/grinding my axe) On Wed, Mar 16, 2022, at 7:27 AM, Paulo Motta wrote: > Thanks for doing this Stefan. > > The fact that PRs are abandoned and piling up on github demonstrates a > hygiene problem and creates a bad user experience to newcomers which are > accustomed to the Github workflow. I'm supportive of any initiative to > improve this > > I think starting labelling PRs manually and then looking into ways to > automate this would be a good improvement from the status quo.