New Github Issues
Dicebot via Digitalmars-d
digitalmars-d at puremagic.com
Mon Jul 28 22:42:29 PDT 2014
On Tuesday, 29 July 2014 at 01:35:30 UTC, Orvid King wrote:
> How accessible is it possible to make the labels?
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.
> Can they be made semi-publicaly editable like bugzilla's?
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.
> Also, could we default to having an awaiting review label for
> new PRs? Perhaps even have them sorted to be at the top by
> default?
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.
More information about the Digitalmars-d
mailing list