Feature request: add "Bypass pre-push hook" option to Push dialog (--no-verify)

[sdpfigueiredo]

Description

Please add a --no-verify option to the Push Changes To Remote dialog, so users can skip pre-push hooks without falling back to the CLI.

Motivation

• The commit dialog already offers a "Bypass pre-push hook" checkbox (--no-verify, see NoVerifyOnCommit); the push dialog is the missing counterpart.
• Pre-push hooks sometimes block legitimate pushes (e.g. flaky CI checks), forcing users to run git push --no-verify from the command line.
• Related prior work: PR feature: add support for additional flags in push command #1956 attempted to add arbitrary custom flags to the push command but was closed unmerged.

Proposed UX

A new checkbox in the push dialog (labelled "Bypass pre-push hook", tooltip --no-verify), consistent with the existing options (Force push, Push all tags, ...). When checked, the generated command becomes:

git push --progress --verbose --no-verify <remote> <local>:<remote-branch>

References

• Feature: No verify commit flag #1762 — commit-side "No verify" flag (implemented)
• PR feature: add support for additional flags in push command #1956 — unmerged attempt to add custom flags to push

[love-linger]

Merged