feat: Add filter mergify PRs button to the listing of PRs

[samuelhnrq]

• Adds mergify logo button to the search section of the pull request listing
• Clicking the button toggles the search term -author:app/mergify in and out the q search param

[mergify]

Merge Protections

Your pull request matches the following merge protections and will not be merged until they are valid.

🔴 Required Reviews

This rule is failing.

• any of:
  • #approved-reviews-by >= 2
  • author = dependabot[bot]

🟢 Enforce conventional commit

Wonderful, this rule succeeded.

Make sure that we follow https://www.conventionalcommits.org/en/v1.0.0/

• title ~= ^(fix|feat|docs|style|refactor|perf|test|build|ci|chore|revert)(?:\(.+\))?:

🟢 🔎 Reviews

Wonderful, this rule succeeded.

• #changes-requested-reviews-by = 0
• #review-requested = 0
• #review-threads-unresolved = 0

🟢 📕 PR description

Wonderful, this rule succeeded.

• body ~= (?ms:.{48,})

[Copilot]

Pull request overview

Adds a Mergify logo toggle button to GitHub pull request listing pages to quickly filter out PRs authored by the Mergify app by updating the q search parameter.

Changes:

• Add query-toggle logic for -author:app/mergify on PR listing pages.
• Inject a Mergify icon button next to the “New pull request” action in the PR list UI.
• Extend page detection/injection to support both PR detail and PR listing pages.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

[mergify]

@samuelhnrq this pull request is now in conflict 😩

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-02 07:28 UTC · Rule: automated updates
• 🚫 Left the queue — 2026-04-02 07:35 UTC · at b496f76d58b76c6cbedb52af5f632c6abe79df5e

This pull request spent 7 minutes 28 seconds in the queue, with no time running CI.

Reason

The pull request conflicts with the base branch

Hint

You should update or rebase your pull request.

If you want to requeue this pull request, you can post a @mergifyio queue comment.

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-02 12:53 UTC · Rule: default
• 🚫 Left the queue — 2026-04-02 12:56 UTC · at b496f76d58b76c6cbedb52af5f632c6abe79df5e

This pull request spent 2 minutes 51 seconds in the queue, with no time running CI.

Reason

The pull request conflicts with the base branch

Hint

You should update or rebase your pull request.

If you want to requeue this pull request, you can post a @mergifyio queue comment.