I have merged a branch and tried to push the changes into Gerrit,
git checkout dev
git merge feature
After merging my status shows like,
$ git status
On branch dev
Your branch is ahead of 'origin/dev' by 35 commits.
(use "git push" to publish your local commits)
nothing to commit, working tree clean
Then I tried to push
git push origin HEAD:refs/for/dev
Getting below error,
! [remote rejected] HEAD -> refs/for/dev (no new changes)
Couple of SO answers (answer1, answer2, answer3) suggested to amend before push but I have many CLs which got merged. Now how can I deal with this situation?