push: point to 'git pull' and 'git push --force' in case of non-fast forward