Turn off GitHub Supabase integration PR comments on no changes

[spydon]

It would be nice to have the ability to turn off so that the Supabase integration doesn't comment on every single PR where there are no changes to the Supabase files.

[mdroidian]

+1 to this request.

In our repo, the Supabase GitHub integration is configured to only react to changes under our Supabase directory, which is the right behavior. The problem is that when a PR does not include changes there, Supabase still leaves a full PR comment saying the PR was ignored.

That comment does not require action from the author or reviewer, so it becomes visual noise. In a busy monorepo with many unrelated PRs, these comments take up space in the PR timeline and make the actual review discussion harder to scan.

The ideal behavior would be one of:

• Do not comment at all when the PR is ignored because no Supabase-relevant changes were detected.
• Add a setting like comment_on_ignored_prs: false.
• Report the ignored state through a GitHub check/status instead of a PR comment.
• At minimum, make the comment collapsible/minimized or update a single existing bot comment rather than adding timeline noise.

The current behavior is technically accurate, but it is not useful in the common case where the integration is intentionally scoped to a subdirectory. For ignored PRs, silence would be much better.

[spydon]

Gave it a shot to fix it:
#47373
https://github.com/supabase/platform/pull/34771