Git push on git commit -- From http://stackoverflow.com/questions/7925850/how-to-automatically-push-after-committing-in-git