Manual push needed after auto push failed

[numberpi]

If your local git repo is behind the remote repo, the "save" in Monticello will perform the commit, but fail the push action. A GitError is displayed.
After pulling the changes, you can only push your changes manually (via command line), because Monticello thinks there are no changes.