Skip to content

Infrastructure improvement: AUTHORS bot #41

@cool-RR

Description

@cool-RR

@bittner Here's another one you might like. I want the upkeep of the AUTHORS file to be automated, basically running:

misc/generate_authors.py > AUTHORS

It would be cool to have a bot that automatically submits pull requests whenever the AUTHORS file is different than the one generated above (i.e. we just merged a new author.) Then I could approve that pull request with a click instead of having to maintain AUTHORS manually.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions