New Github Issues

safety0ff via Digitalmars-d digitalmars-d at puremagic.com
Tue Jul 29 07:10:06 PDT 2014


We should consider a label for "revivable" PRs:
PRs which the original submitter is no longer responding but the 
pull can be salvaged if somebody rebases and addresses the 
feedback comments.

I tried using the search "is:unmerged is:pr is:closed" to try and 
find candidates but unfortunately it doesn't seem to work despite 
being documented: 
https://help.github.com/articles/searching-issues#is


More information about the Digitalmars-d mailing list