I created a development branch, called dev, which was based off “base”, i.e. initially HEAD of dev was at HEAD of base.
I did some work in dev, tested and now wanted to merge dev to base. So, I checked out base and ran git merge dev. This merged my changes, basically did a fast-forward merge as no other commits went in during this period.
I ran git commit -a -m “comment” to commit the changes. The output is:
# On branch base
# Your branch is ahead of 'origin/base' by 702 commits.
#
nothing to commit (working directory clean)
When I ran git push, I see:
Total 0 (delta 0), reused 0 (delta 0)
To me@git.xzy.com:/git/xyz-tools.git
fa0e506..e72ca98 base -> base
The HEAD does look like to be moved but when I see the server, this commit is not updated on it.
What am I doing wrong here?
ensure that you are tracking correctly with
then explicitly push that branch with