16 May
2017
16 May
'17
7:54 p.m.
Hi, Am Dienstag, den 16.05.2017, 16:46 -0700 schrieb Iavor Diatchki:
Ah, good to know, sorry for the noise. Usually, when I want to look at the proposals I just go to the "Pull requests" tab, and I was noticing that we are accumulating a bunch of proposals that seem to be going nowhere, so I was thinking we could close some of them.
I understand that urge. I occasionally ask authors to close their PRs if they are dormant, and I now marked them as dormant. I avoid simply closing the PRs for reasons of superficial friendliness. Feel free to simply ignore anything marked dormant, or Needs Revision. Greetings, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/