diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-16 21:40:29 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-16 21:40:29 +0100 |
commit | 4d5ef701bf95a1c60a5cc1b9f5c4d771ac49375a (patch) | |
tree | b84199fcd94bd4c2700c995c3ec093d113a77284 /infra/dgit-repos-server | |
parent | 18413810f983efbd083a2fd0cbc2c2cbbadc558b (diff) | |
parent | a80f7d09b0f92b5e1bc39f828f7972f3ff7c41be (diff) |
Merge branch 'stable' into HEAD
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 55dc81f..ec9b2c9 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -902,8 +902,8 @@ sub checks () { # defend against commits generated by #849041 if (!($policy & NOCOMMITCHECK)) { - my @checks = qw(%ae %at - %ce %ct); + my @checks = qw(%at + %ct); my @chk = qw(git log -z); push @chk, '--pretty=tformat:%H%n'. (join "", map { $_, '%n' } @checks); |