tools: add url to AUTHORS update automation

aduh95 · RafaelGSS · commit f968fdb78abf · 2023-01-05T13:11:38.000-03:00
This should simplify the review of `AUTHORS` file updates. PR-URL: #45971 Reviewed-By: Moshe Atlow <moshe@atlow.co.il> Reviewed-By: Rich Trott <rtrott@gmail.com> Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
diff --git a/.github/workflows/authors.yml b/.github/workflows/authors.yml
@@ -30,6 +30,9 @@ jobs:
             Here are some new additions to the AUTHORS file.
             This is an automatically generated PR by the
             `authors.yml` GitHub Action, which runs `tools/update-authors.mjs`.
+            Check the output of
+            ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
+            for possible duplicates.
           branch: actions/authors-update  # Custom branch *just* for this Action.
           commit-message: 'meta: update AUTHORS'
           labels: meta
