On Fri, 1 May 2020, 20:48 Ernie Rael, <err...@raelity.com> wrote: > I've noticed that the pull-request-available label is no longer > automatically turned on. Is this intentional? >
I noticed that with a few fixes I put in over last couple of days. Don't think it's intentional?! Wonder if it's due to recent gitbox changes from infra. Best wishes, Neil >