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)
Status Job ID Name Coverage
  Precheck
passed #20499
amd64 docker linux
precheck:debian:sid:amd64

00:00:10

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

00:03:03

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

00:03:10

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

00:01:51

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

00:01:54

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

00:04:37

failed #20508
i386 docker linux
systemtest:debian:sid:i386

00:04:52

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

00:00:40

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

00:00:43

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

00:00:40

 
Name Stage Failure
failed
systemtest:debian:sid:i386 Test
No job log