DMD PR management hits a new low

[codephantom]

On Saturday, 18 November 2017 at 23:21:08 UTC, user1234 wrote:
> It seems that they close systematically after a month or so.
> You need to hire a vilain that will do this dirty job for you 
> (or maybe even use a bot)...everybody will hate him but the 
> stack of folder on the desktop will get smaller.

Sounds like a job for SysAdmin.

A smart sysadmin would implement the bot option (cause then you 
can blame the bot).

Just need to establish clear and fair criteria for the bot, and 
then implement it.

It's the fairest way to proceed, and it's automated.

People can then argue with the criteria, and leave sysadmin alone.

And if you think you have a good pull request, and it keeps 
getting closed, then you have to do more work to get people's 
attention (the right people). That's all there is to it.

"Although it's never nice to reject someone's work it's 
preferable to leaving pull requests open that you will never 
merge. Those pull requests will just hang over you and the 
contributor indefinitely. One of the indicators of a healthy 
project is its responsiveness to contributions, whether it is 
giving feedback, merging, or closing pull requests."

https://github.com/blog/2124-kindly-closing-pull-requests