diff --git a/.github/workflows/authors.yml b/.github/workflows/authors.yml new file mode 100644 index 00000000000000..59c9a7cabe6550 --- /dev/null +++ b/.github/workflows/authors.yml @@ -0,0 +1,20 @@ +name: "authors update" +on: + workflow_dispatch: + +jobs: + authors_update: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - run: "tools/update-authors.js" # run the AUTHORS tool + - uses: gr2m/create-or-update-pull-request-action@v1.x # create a PR or update the Action's existing PR + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + with: + title: "doc: update AUTHORS" + body: "If this PR exists, there's presumably new additions to the AUTHORS file. This is an automatically generated PR by the `authors.yml` GitHub Action, which runs `tools/update-authors.js` and submits a new PR or updates an existing PR.\n\nPlease note that there might be duplicate entries. If there are, please remove them and add the duplicate emails to .mailmap directly to this PR." + branch: "actions/authors-update" + commit-message: "doc: update AUTHORS" + labels: meta + diff --git a/AUTHORS b/AUTHORS index 59b9fab48ac60c..a563e6b878c101 100644 --- a/AUTHORS +++ b/AUTHORS @@ -3319,5 +3319,9 @@ Houssem Chebab Davidson Francis Rohan Sharma AkshayK +FrankEntriken <42781627+FrankEntriken@users.noreply.github.com> +Cyrille Bourgois +Jacob <3012099+JakobJingleheimer@users.noreply.github.com> +Tierney Cyren # Generated by tools/update-authors.js