git push should update origin/master

[pchampin]

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).

[kheyse-werk]

Duplicate of #19 ?

[pchampin]

Indeed, it is a duplicate.

[waldyrious]

Indeed, it is a duplicate.

Any reason not to close this, then?