3 Dec
2018
3 Dec
'18
4:24 p.m.
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. Vitaly