Then just stick to `git pull`, `git commit` and `git push`. They do everything you need. All that messing about with your history that this guy is talking about is totally unnecessary.
Agreed, that's what I stick to and git has been working great, very fast. I've noticed that if a push fails, all I have to do on the master is:
git checkout -b foo
// do the push from the client repo
git branch -d foo
Yeah... Badgering your co-workers over using the standard tools in the standard manor is just being a jerk.
And that's fine, as long as you're the only one working on your codebase.