[kls]

You can set up a script that will auto push to a remote repo on commit, the confusion comes in with the terminology in most distributed systems commit just means tell my local source control to track the change, where as in the centralized model commit generally means move these changes to the server. Just remind them that nothing gets to the server without a push. distributed systems have serious advantages over the centralized model, specifically when it comes to getting everybody's changes merged together in a chronological order. That advantage far outweighs the learning curve. If you use Mac's I would recommend SourceTree it is a very good UI for GIT and HG.