We should automatically generate AUTHORS.txt instead of manually updating it. We would also need an author substitutions file in concert with this, since some commits have non-valid email addresses or names.
Otherwise, especially with bors, it's too easy to forget to add someone (or lose track of who has a committer's agreement on file and who doesn't).
We should automatically generate AUTHORS.txt instead of manually updating it. We would also need an author substitutions file in concert with this, since some commits have non-valid email addresses or names.
Otherwise, especially with bors, it's too easy to forget to add someone (or lose track of who has a committer's agreement on file and who doesn't).