Add --no-push and --push options and DONT_PUSH environment as default to...

Add --no-push and --push options and DONT_PUSH environment as default to control what happens after merge
10 jobs for git-replay-merge-no-push-option in 8 minutes and 36 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Precheck
passed precheck:debian:sid:amd64 #23508
amd64 docker linux

00:00:11

 
  Build
passed build:clang:debian:sid:amd64 #23509
amd64 docker linux

00:03:14

passed build:clang:debian:sid:i386 #23511
i386 docker linux

00:03:33

passed build:debian:sid:amd64 #23510
amd64 docker linux

00:02:04

passed build:debian:sid:i386 #23512
i386 docker linux

00:02:09

 
  Test
passed systemtest:debian:sid:amd64 #23516
amd64 docker linux

00:04:33

passed systemtest:debian:sid:i386 #23517
i386 docker linux

00:04:50

passed unittest:clang:debian:sid:amd64 #23514
amd64 docker linux

00:00:44

passed unittest:debian:sid:amd64 #23513
amd64 docker linux

00:00:44

passed unittest:debian:sid:i386 #23515
i386 docker linux

00:00:45