Add a 'git pull' before pushing to the repository