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

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu Feb 27 12:55:16 PST 2014


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



--- Comment #3 from Andrej Mitrovic <andrej.mitrovich at gmail.com> 2014-02-27 12:55:16 PST ---
(In reply to comment #1)
> - 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.

(In reply to comment #2)
> Created an attachment (id=1332) [details]
> screenshot

Posted a screenshot to see what I mean.

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


More information about the Digitalmars-d-bugs mailing list