Merging a pull request
To apply a pull request, make sure your local develop branch is up to date. Then, create a new branch for that pull request:
git checkout -b some-user-feature
Run the following commands to apply all commits from that pull request on top of your branch's local history:
curl -L https://bitbucket.org/api/2.0/repositories/dmusser/axe-core/pullrequests/85/patch | git am -3
Note: the above URL is behind authentication. And that seems to be the issue.
curl -L https://github.com/dequelabs/axe-core/pull/205.patch | git am -3
In the Github UI, you can use the new Squash and Merge feature as an alternative.
If the merge succeeds, use
git diff origin/develop to review all the changes that will happen