You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since the merge branch points to upstream/master, the step to reset the branch to upstream/master-vs-deps shows a big change in merges (obviously) and requires the use of a force push. I believe it would be simpler and provide a more expected experience to leave the branch pointing to upstream/master and to merge upstream/master-vs-deps into the merge branch.
These are the proposed instructions
git fetch upstream
git checkout merges/master-to-master-vs-deps
# Pull in latest changes
git reset --hard upstream/master
git merge upstream/master-vs-deps
# Fix merge conflicts with `git mergetool` or by other means
git commit
git push upstream merges/master-to-master-vs-deps
The text was updated successfully, but these errors were encountered:
I'm fine with this. I'd also consider changing the first line to git fetch upstream master master-vs-deps, and deleting and recreating the merges/* branch. But I'm particularly sensitive to the time needed to fetch everything, especially since I have 18 remotes in my local repo 😉
The steps for resolving merge conflicts locally for a merge PR read as follows.
Since the merge branch points to
upstream/master
, the step to reset the branch toupstream/master-vs-deps
shows a big change in merges (obviously) and requires the use of a force push. I believe it would be simpler and provide a more expected experience to leave the branch pointing toupstream/master
and to mergeupstream/master-vs-deps
into the merge branch.These are the proposed instructions
The text was updated successfully, but these errors were encountered: