Closing old PRs

[GintasS]

Hey, I have seen a lot of PR that are old and not really worked on. I think we should close them to clean the Pull requests section a little bit. The branches would stay.

I could do that, by going through them and making a mention for @RussKie or some other maintainer.

[gerhardol]

Setting them to a draft is sufficient, then they are not in the normal flow.
But before that, there should be an assessment if they are interesting at all or if there are some final touchups needed.

[GintasS]

So ok, I can go through all of them and mark you or gerhardol.

[GintasS]

I have marked both you and gerhardol on old PRs, now we only need to close them and we would be good. Left out recent(ish) PRs, with recent activity, those who had activity less than 3~ months ago.

[GintasS]

Seems like that msftbot didn't close old PRs, but it should have.

[pmiossec]

Could we add a label like cleaned_pr to all this pr to find them again easily?
Because GitHub doesn't allow to differentiate closed PR and merged PR :( (they have all the status "closed")
So it is a pain to find them again if needed...

[gerhardol]

is:unmerged can be used
https://github.com/gitextensions/gitextensions/pulls?q=is%3Apr+is%3Aunmerged+is%3Aclosed

However, the reason for closing the PR is unknown so such a label could make sense.

[RussKie]

We could use "abandoned" maybe?

…

On Sat, 7 Aug 2021 at 04:36, Gerhard Olsson ***@***.***> wrote: is:unmerged can be used https://github.com/gitextensions/gitextensions/pulls?q=is%3Apr+is%3Aunmerged+is%3Aclosed However, the reason for closing the PR is unknown so such a label could make sense. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#9441 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABBTEXT2SHU6BDMBUUQXKYDT3QTSRANCNFSM5BTMXGUA> .