Address question with a comment
diff --git a/.github/workflows/mirror_protoc_release.yml b/.github/workflows/mirror_protoc_release.yml
index 0ea69eb..b9b4da1 100644
--- a/.github/workflows/mirror_protoc_release.yml
+++ b/.github/workflows/mirror_protoc_release.yml
@@ -3,6 +3,9 @@
# Trigger manually in the UI
workflow_dispatch:
# Trigger daily at 06:10 UTC
+ # Note, the create-pull-request action only sends a PR if there's a code change,
+ # so a no-op execution of the mirror_protoc_releases script on most days will
+ # not create a pull request.
schedule:
- cron: "10 6 * * *"