diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 11:44:02 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 11:53:36 +0100 |
| commit | 42d05da9ea816296623bba686e533fb651825fc8 (patch) | |
| tree | 1c8cb50533694b1d3d166f6a8ef680ce83a1d4ed /dgit | |
| parent | 5956c5a42e542cf4a81cda34722263dcd06b0f04 (diff) | |
dgit push: Make it warn (by default)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
| -rwxr-xr-x | dgit | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -744,7 +744,7 @@ our %defcfg = ('dgit.default.distro' => 'debian', 'dgit.dsc-url-proto-ok.git' => 'true', 'dgit.vcs-git.suites', => 'sid', # ;-separated 'dgit.default.dsc-url-proto-ok' => 'false', - 'dgit.default.push-subcmd' => 'built', + 'dgit.default.push-subcmd' => 'warn,built', # old means "repo server accepts pushes with old dgit tags" # new means "repo server accepts pushes with new dgit tags" # maint means "repo server accepts split brain pushes" |