Add gitPushIfDiff.py