Skip to content

Automatically generate AUTHORS.txt file from git history #5037

Closed
@catamorphism

Description

@catamorphism

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).

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-enhancementCategory: An issue proposing an enhancement or a PR with one.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions