Once a successful commit is made, if autosync is on, a push is now done. This commit will be the first test of that new functionality :-)