diff options
| -rwxr-xr-x | infra/dgit-repos-server | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index ed27c0e..74cbff3 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -222,6 +222,17 @@ sub movetogarbage () { or die "rename repo $realdestrepo to $garbagerepo: $!"; } +sub onwardpush () { + my @cmd = (qw(git send-pack), $destrepo); + push @cmd, qw(--force) if $policy & NOFFCHECK; + push @cmd, "$commit:refs/dgit/$suite", + "$tagval:refs/tags/$tagname"); + debugcmd @cmd; + $!=0; + my $r = system @cmd; + !$r or die "onward push to $destrepo failed: $r $!"; +} + #----- git-receive-pack ----- sub fixmissing__git_receive_pack () { @@ -538,16 +549,6 @@ sub checks () { } } -sub onwardpush () { - my @cmd = (qw(git send-pack), $destrepo, - "$commit:refs/dgit/$suite", - "$tagval:refs/tags/$tagname"); - debugcmd @cmd; - $!=0; - my $r = system @cmd; - !$r or die "onward push failed: $r $!"; -} - sub stunthook () { debug "stunthook"; chdir $workrepo or die "chdir $workrepo: $!"; |