diff options
Diffstat (limited to 'infra/dgit-ssh-dispatch')
| -rwxr-xr-x | infra/dgit-ssh-dispatch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/dgit-ssh-dispatch b/infra/dgit-ssh-dispatch index 6d4efbf..ed9a23d 100755 --- a/infra/dgit-ssh-dispatch +++ b/infra/dgit-ssh-dispatch @@ -32,6 +32,7 @@ our $qre = '["'."']?"; # diverts should be list of # <pat> [<divert-to>] # where <pat> is a package name pattern which may contain * or literals. +# <divert-to> is for `git config dgit-distro.DISTRO.diverts.<divert-to>' our ($distro,$pkg, $d); our ($dgitlive,$repos,$suites,$diverts,$policyhook,$repo); |