[Issue 12254] Github interaction improvement proposals (via user.js or addins)

[d-bugmail at puremagic.com]

https://d.puremagic.com/issues/show_bug.cgi?id=12254



--- Comment #1 from Andrej Mitrovic <andrej.mitrovich at gmail.com> 2014-02-27 12:50:20 PST ---
- A checklist of questions which should be answered before merging. Sometimes a
pull request is merged because discussions tend to drown out all the questions,
it's hard to keep track which questions were resolved and which ones were not.
If we had a way of marking questions (comments) as important they could show up
at the top, and later we could mark them as resolved when they're answered.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------