mirror of
https://github.com/google/blockly.git
synced 2026-01-05 08:00:09 +01:00
... by not ever posting such comments from this workflow. There will be a separate PR for the other workflow that does post comments, because it needs to be in the master branch. Part of #5659.