gp: run git fetch
before git push
or git pull
#490
Merged
git fetch
before git push
or git pull
#490