diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-22 17:09:50 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-16 12:25:49 +0100 |
commit | 942637ea633f1c9dc0be2534a660296a76b87e27 (patch) | |
tree | 0473be9f4568aea6974c5daa3e87a73e8aadda7d /Debian | |
parent | 012a80b3779e6241c270b73771f1d5019c1ca196 (diff) |
Dgit.pm, dgit: Break $extra_orig_namepart_re out into Dgit.pm.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian')
-rw-r--r-- | Debian/Dgit.pm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Debian/Dgit.pm b/Debian/Dgit.pm index d086cbe..a4ec377 100644 --- a/Debian/Dgit.pm +++ b/Debian/Dgit.pm @@ -53,6 +53,7 @@ BEGIN { git_for_each_tag_referring is_fast_fwd $package_re $component_re $deliberately_re $distro_re $versiontag_re $series_filename_re + $extra_orig_namepart_re $branchprefix initdebug enabledebug enabledebuglevel printdebug debugcmd @@ -80,6 +81,7 @@ our $distro_re = $component_re; our $versiontag_re = qr{[-+.\%_0-9a-zA-Z/]+}; our $branchprefix = 'dgit'; our $series_filename_re = qr{(?:^|\.)series(?!\n)$}s; +our $extra_orig_namepart_re = qr{[-0-9a-z]+}; # policy hook exit status bits # see dgit-repos-server head comment for documentation |