3 ms·Yeah, these days stopping force pushes is a checkbox (default?) in GitHub.by mlhpdx 3y agoYeah, these days stopping force pushes is a checkbox (default?) in GitHub.