Sphinx extension to link to GitHub issues, PRs, commits and users

 This Sphinx extension, written as part of the IPython and Jupyter projects,
 allows one to easily link to GitHub issues, pull requests, commits and users.
 It uses a different syntax from an alternative extension called
 sphinxcontrib.github.