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

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

Merge request reports