Re: [Hawkular-dev] Github Labels for PR
On 18 May 2015, at 00:55, Heiko W.Rupp <hrupp(a)redhat.com>
wrote:
On 15 May 2015, at 0:43, mike thompson wrote:
> If we want to do this, the first step would be to setup a google doc
> spreadsheet and agree on the labels.
And if agreed upon, document them on the hawkular.org web site.
On Friday, Villiam found an issue with labels that only admins of the repo can change the
labels. This can still be useful for organization of PRs but makes it not as useful for
marking the WIP or ‘Don’t Merge Yet’ for non-admins.
_______________________________________________
hawkular-dev mailing list
hawkular-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/hawkular-dev