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@lists.jboss.org > https://lists.jboss.org/mailman/listinfo/infinispan-dev -- Radim Vansa <rva...@redhat.com> JBoss Performance Team _______________________________________________ infinispan-dev mailing list infinispan-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/infinispan-dev
