Explicitly push into same named branch at the remote instead of relying on...

Explicitly push into same named branch at the remote instead of relying on whatever branch settings the git config might have
10 jobs for git-replay-merge-explicit-push in 8 minutes and 14 seconds (queued for 1 second)