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