Add a Sphinx role to link to GitHub labels#932

ezio-melotti merged 3 commits intopython:mainpython/devguide:mainfrom

hugovk:label-rolehugovk/devguide:label-roleCopy head branch name to clipboard