quickly revert a merged PR (bypassing CI) - View it on GitHub