Closed pchampin closed 6 years ago
try the following:
git commit git fetch git merge origin/master git push
after the push, the branch origin/master has not been updated from its position got after the fetch, which is not consistent with how git actually works (it should end up on the same commit as master).
origin/master
Duplicate of #19 ?
Indeed, it is a duplicate.
Any reason not to close this, then?
try the following:
after the push, the branch
origin/master
has not been updated from its position got after the fetch, which is not consistent with how git actually works (it should end up on the same commit as master).