The link to the Pull request guide does not work. "GitHub's documentation for working on pull requests is [available here][pull-requests]."