diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-21 12:04:01 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:19:51 +0000 |
commit | 5408b0c227d942af55442389894a9ed7338a55ce (patch) | |
tree | 3b51298221c339945afbf47ae3266973dcc987b2 /Debian/Dgit.pm | |
parent | e4b24f2532291565f77e120fbc4bff7660b0d115 (diff) |
dgit-repos-server: Deal with FRESHREPO from push hook
Diffstat (limited to 'Debian/Dgit.pm')
-rw-r--r-- | Debian/Dgit.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Debian/Dgit.pm b/Debian/Dgit.pm index a124930..b934774 100644 --- a/Debian/Dgit.pm +++ b/Debian/Dgit.pm @@ -30,7 +30,7 @@ sub NOFFCHECK () { return 2; } sub FRESHREPO () { return 4; } # blow away repo right away (ie, as if before push or fetch) -# ("check-package" only) +# ("check-package" and "push" only) sub debiantag ($) { |