3 Dec
2018
3 Dec
'18
11:39 a.m.
Hi, Am Montag, den 03.12.2018, 11:24 -0500 schrieb Vitaly Bragilevsky:
Vitaly, how about we delete the Proposal tag, and maybe mark non-
proposals with a tag (maybe with a grey or dull color). Given that most pull requests are proposals, let’s mark the exceptions instead!
Ok, I'll do that. Sorry for messing things up, I wanted to count all proposals but took a longer road.
depending on what you want to do, the code at https://github.com/nomeata/ghc-proposals-stats might be useful. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/