Closed ringhilterra closed 8 years ago
+1
The instructions GitHub provides for resolving a conflicted pull request will update the requesting branch with any changes from master
(and, if you continue with Step 2, push the resolved merge directly into origin/master
, resolving the pull request as a side-effect). In class, we're illustrating resolving a conflicted merge, a Git-level (not GitHub-level) operation that's likely to come up more often in day-to-day software development workflows.