[Hawkular-dev] Github Labels for PR

[mike thompson]

> On 18 May 2015, at 00:55, Heiko W.Rupp <hrupp at 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 at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/hawkular-dev