tools: support updating @reporters/github manually

MoLow · ruyadorno · commit 6db0d3d883aa · 2023-09-27T23:18:47.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
