tools: support updating @reporters/github manually

MoLow · ruyadorno · commit 07a2e29bf360 · 2023-09-28T10:02:32.000-04:00
PR-URL: #49871 Refs: fbe28e2 Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com> Reviewed-By: Michaël Zasso <targos@protonmail.com> Reviewed-By: Chemi Atlow <chemi@atlow.co.il>
diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
@@ -23,6 +23,7 @@ on:
           - corepack
           - doc
           - eslint
+          - github_reporter
           - googletest
           - histogram
           - icu
