I have a repository on a gitblit server where I executed git flow, having a Develop and Master branch.
I have made a lot of commits on Develop, and now I have a stable version, and would like to push my changes to Master. Using Sourcetree, pushing to Master, does not update Master at all. I had to manually open the console and use:
"git push origin HEAD:develop"
in order to have my Master branch updated. What am I missing? I have had a push from Develop before that updated my Master branch, but now only a manual push works.
Couple of weeks ago, I had Master on my original commit and my Develop about 15 commits ahead. I pushed from Develop to Master using Sourcetree, and everything went OK. I had Master updated on the newest version. Now, it does not work at all.
Thank you in advance.