New Github Issues

[Dicebot via Digitalmars-d]

Heh, have written a GitHub feature request about this ~2 weeks 
ago, got answer "we are already working on this, going to be 
release soon". Have been eagerly awaiting announcement since then.

This can be very useful for improving pull request review 
process. I think we should not duplicate PR labels based on 
metadata from bugzilla and instead focus on traits useful for 
actual reviewing and PR categorizing (not related issue 
categorizing).

"DDMD" label for dmd repo is one good example - it does not have 
linked issues and need to be easily queried because of high 
priority of DDMD.

One useful label I can imagine for both DMD and Phobos repos is 
"need-decision" that will mark pull requests blocked until 
someone with authority decides if actual semantics of a change 
are to be accepted or rejected. That way Andrei and Walter will 
have a quick list of pull requests to pay special attention to 
(that no one else can proceed with)

At the same time I recommend avoid creation of many arbitrary 
label tags as those are only useful for searching pull requests 
if you know what labels to look for. Pure description tags give 
nothing over few lines of comments in PR text.