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 /infra/dgit-repos-policy-debian | |
parent | e4b24f2532291565f77e120fbc4bff7660b0d115 (diff) |
dgit-repos-server: Deal with FRESHREPO from push hook
Diffstat (limited to 'infra/dgit-repos-policy-debian')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index 4ba3e8e..493fefd 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -12,6 +12,8 @@ # cwd for push is a temporary repo where the to-be-pushed objects have # been received; TAGNAME is the version-based tag # +# if push requested FRESHREPO, push-confirm happens in said fresh repo +# # policy hook for a particular package will be invoked only once at # a time |