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
linux docker amd64
precheck:debian:sid:amd64

00:00:10

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

00:03:03

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

00:03:10

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

00:01:51

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

00:01:54

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

00:04:37

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

00:04:52

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

00:00:40

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

00:00:43

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

00:00:40

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