]> https://gitweb.dealii.org/ - dealii.git/commit
indent: check for bad usernames and emails
authorTimo Heister <timo.heister@gmail.com>
Thu, 8 Aug 2019 15:32:14 +0000 (09:32 -0600)
committerTimo Heister <timo.heister@gmail.com>
Thu, 8 Aug 2019 15:32:14 +0000 (09:32 -0600)
commitd0a4de5a575331ece006fb8b55b85a9ac9cf082c
treecf75b6aea20cf27a4e716004d076608bfd2fd054
parent1f4f6348386c02b9c50a2983def80a4964c2fa9f
indent: check for bad usernames and emails

For compiling the list of contributors for each release, we rely on
useful names and email addresses. We also regularly generate statistics
about number of contributors, which requires identifying unique authors.

This PR does the following:
1. Enforce in `indent` that users have a sensible name set that consists
of at least two words (git config --global user.name)
2. Enforce in `indent` that users have sensible email addresses set by
blocking some common invalid ones.
3. Add a .mailmap file that corrects a collection of invalid
names/addresses already part of the history. This is a standard git
file, which will replace output of `git log` and similar commands.

Step 3 is necessary to make ./indent pass on master.
.mailmap [new file with mode: 0644]
contrib/utilities/indent_common.sh

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.