Skip to content

Commit

Permalink
doc: update AUTHORS
Browse files Browse the repository at this point in the history
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.

PR-URL: #39217
Reviewed-By: Michaël Zasso <[email protected]>
Reviewed-By: Richard Lau <[email protected]>
  • Loading branch information
Trott committed Jul 3, 2021
1 parent 5e8aeac commit a1f07e5
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions AUTHORS
Original file line number Diff line number Diff line change
Expand Up @@ -3317,5 +3317,6 @@ RA80533 <[email protected]>
Mao Wtm <[email protected]>
Houssem Chebab <[email protected]>
Davidson Francis <[email protected]>
Rohan Sharma <[email protected]>

# Generated by tools/update-authors.js

0 comments on commit a1f07e5

Please sign in to comment.