you have to pull first. Then push.
Luis Melgratti
2009-01-20 02:35:57
Force the push:
git push --force
You won't have to merge the differences, but you could lose some history on your local commits.