diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-18 18:18:38 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-18 23:31:57 +0000 |
| commit | ab5a6e7990806975bfd31a47cf61f429eb8914e3 (patch) | |
| tree | 4428df01369694ecb9b62fdedb6319fcc573ff50 /infra | |
| parent | b77bfa84e1dd2f7fe760985a76d7bafcfc463802 (diff) | |
infrastructure: Do not reject commits with no author/committer name
But still insist on email address and date).
Peter Green reports that eg 71e128629ec786f3 in upstream xen.git is
such a commit (and is accepted by github).
Closes:#851716.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
| -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 aa6fecd..6131774 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -897,8 +897,8 @@ sub checks () { # defend against commits generated by #849041 if (!($policy & NOCOMMITCHECK)) { - my @checks = qw(%an %ae %at - %cn %ce %ct); + my @checks = qw(%ae %at + %ce %ct); my @chk = qw(git log -z); push @chk, '--pretty=tformat:%H%n'. (join "", map { $_, '%n' } @checks); |