pingou added a new comment to an issue you are following:
``
I'd go for the preventing the push just because it's potentially less error-prone
to have a human apply the fix.
``
To reply, visit the link below or just reply to this email
https://pagure.io/releng/issue/7300