miniblog.
← Back to all posts
Wilfred Hughes
Aug 2, 2013 at 11:12
@GitHubHelp
looks like you're escaping some HTML that you shouldn't
https://help.github.com/articles/merging-a-pull-request
<em> and
https://help.github.com/articles/checking-out-pull-requests-locally
<
Merging a pull request - GitHub Docs
Merge a pull request into the upstream branch when work is completed. Anyone with push access to the repository can complete the merge.
Checking out pull requests locally - GitHub Docs
When someone sends you a pull request from a fork or branch of your repository, you can merge it locally to resolve a merge conflict or to test and verify the changes before merging on GitHub.