diff options
| -rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index d8dc857..b853162 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -1077,6 +1077,7 @@ sub mode_tag2upload () { # CALLER MUST PREVENT MULTIPLE CONCURRENT RUNS IN SAME CWD # If we fail (exit nonzero), caller should capture our stderr, # and retry some bounded number of times in some appropriate way + # Uses whatever ambient gpg key is available @ARGV==2 or die; my $url; @@ -1287,7 +1288,6 @@ END } } push @dgitcmd, qw(push-source --new --overwrite), $suite; - # xxx what about the key to use? runcmd @dgitcmd; |