Fix: do not push to origin after a merge when there is nothing to push
Fix: clearer summary of actions for git hf update command