Refs: #200

• macOS @bhavyaus
• linux @deepak1556
• windows @jrieken

Complexity: 3

Create Issue

To test, you'll need to have a PR that's out of date with it's base. If you have such a PR already, you can skip step 2.

1. Install the pre-release version of GitHub Pull Requests and Issues
2. Checkout or make a PR that is out of date with base, but doesn't have conflicts. To make a PR that's out of date with base:
   a. Do git log and copy the second most recent commit sha
   b. git checkout the-commit-sha-you-copied
   c. git checkout -b topic-branch-name-of-your-choice
   d. Modify a file that hasn't been touched recently, commit, and make a PR.
3. Open the PR's description/overview page.
4. Verify that you see a button to "Update with Merge". Verify that you only see this button when the PR is checked out.
5. Use the button to "Update with Merge". Verify this merges the base branch into the PR branch. Verify that the button from step 4 no longer shows once you're done.