Extra protection for main GitHub branches

Discussion about the project in general, organization, website, or any other details that aren't directly about the game.
Post Reply
Message
Author
User avatar
Dilvish
AI Lead, Programmer
Posts: 4732
Joined: Sat Sep 22, 2012 6:25 pm

Extra protection for main GitHub branches

#1 Post by Dilvish » Sun Oct 11, 2015 6:55 pm

I saw that GitHub has recently enabled being able to place some additional protections on key branches. The first tier of protection is simply to disable force-pushes and to prevent branch deletion. The second tier involves requiring some sort of status checking before making commits to a protected branch, but I didn't read up on the details of that.

I've gone ahead and enabled the first tier of protection (no branch deletion, no force-pushes) on the main branches -- master, release-0.4.4 and release-0.4.5

If by some chance we do need to make a force-push in the future, we can always go in and temporarily undo the protection, but this will help ensure that such events to not accidentally happen due to mis-click or being mixed up about which repo a particular branch is tracking, etc.
If I provided any code, scripts or other content here, it's released under GPL 2.0 and CC-BY-SA 3.0

User avatar
Geoff the Medio
Programming, Design, Admin
Posts: 12287
Joined: Wed Oct 08, 2003 1:33 am
Location: Munich

Re: Extra protection for main GitHub branches

#2 Post by Geoff the Medio » Sun Oct 11, 2015 7:00 pm

Sounds reasonable.

User avatar
Vezzra
Release Manager, Design
Posts: 4686
Joined: Wed Nov 16, 2011 12:56 pm
Location: Sol III

Re: Extra protection for main GitHub branches

#3 Post by Vezzra » Sun Oct 11, 2015 8:32 pm

Good idea!

Post Reply