Update github-labels-on-pull-requests.rst