Re: [infinispan-dev] How to improve our PR queue
On 10/05/2016 12:26 PM, Vojtech Juranek wrote:
On Wednesday 05 October 2016 10:18:31 Tristan Tarrant wrote:
> - PRs opened by external developers won't have the appropriate labels
> for permission reasons. Add them.
would be nice if the labels can be reset automatically once PR is updated.
Labels are usually outdated and misleading after PR update and reviewer has to
check the comments under PR (in better case, in worse the PR is ignored as it
has "Changes required" label or similar)
This is only a problem for PR authors who don't have write-permissions
on the PR to update it. A workaround is to ask on IRC to update the
labels; proper solution is a webhook (probably to a script on
infinispan.org) that will change the labels accordingly.
Radim
_______________________________________________
infinispan-dev mailing list
infinispan-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/infinispan-dev
--
Radim Vansa <rvansa(a)redhat.com>
JBoss Performance Team