diff options
-rwxr-xr-x | infra/dgit-repos-server | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 7ab29e2..f5dd5aa 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -738,7 +738,7 @@ sub checktagnoreplay () { my ($tagobjid,$refobjid,$fullrefname,$tagname) = @_; $check_ref_superseded->($tagobjid,undef,$fullrefname,undef); }); - printdebug "checktagnoreply - not FRESHREPO, nchecked=$nchecked"; + printdebug "checktagnoreplay - not FRESHREPO, nchecked=$nchecked"; push @problems, "does not supersede any tag". " referring to branch head $branch=$branchhead" unless $nchecked; @@ -751,7 +751,7 @@ sub checktagnoreplay () { join("; ", @problems). "\n"; } - printdebug "checktagnoreply - all ok\n" + printdebug "checktagnoreplay - all ok ($tagval)\n" } sub tagh1 ($) { |