diff options
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 |