New Github Issues

[Daniel Murphy via Digitalmars-d]

"Dicebot"  wrote in message news:dltkkijmuwhjcchejjxd at forum.dlang.org...

> As far as I can see one needs admin access to the repo to define new 
> labels. Merge access is not enough - at least I don't seem to be able 
> define new label for Phobos.

No, you just need commit access.  On the pull requests page, there is a 
'labels' tab between 'Pull requests' and 'Milestones'.

> Most likely it is same as with issue labels (when you have GitHub issues 
> enabled) - admin can define set of labels, anyone with merge access can 
> add labels from the list to pull requests, everyone else can only view 
> labels and search based on them.

Yep looks right except for creation.

> All pull request are awaiting review by default ;) We should instead have 
> labels marking those that can't be reviewed for some reason - being it a 
> decision block, pending dependency merge or missing author.

You can search for unlabeled pull requests.