Skip to content

doc: update AUTHORS

Rodrigo Muino Tomonari requested to merge github/fork/Trott/update-authors into master

Thinking it is probably better to run this frequently and do small quick timely updates to AUTHORS rather than waiting months like we usually do and having a lot of little issues to sort out. If this works well, maybe it can be a scheduled GitHub Action or something the bot does for us.

Merge request reports