GitHub Feature Requests

20 thoughts
last posted Jan. 28, 2014, 10:55 p.m.

11 earlier thoughts

0

(from July, 2012)

Auto dismiss notifications that have already been actioned (e.g. if PR already merged, don't show it any more)

8 later thoughts