Re: [Numpy-discussion] Removing priority labels from github