Add --no-push and --push options and DONT_PUSH environment variable

Evan Hunt requested to merge git-replay-merge-no-push-option-v9_12-v9_11 into v9_11

Merge request reports