9 Oct
2016
9 Oct
'16
9:22 p.m.
On Sun, Oct 9, 2016 at 5:20 PM, Andrey Semashev
Forced pushes has caused me headache in the past as well. Is there a way on GitHub to prohibit forced pushes to a certain branch?
Yes, the feature is called "Protected Branches" and detailed here: https://help.github.com/articles/about-protected-branches/