Feature #6051
Migrate master Git repository to immerda
0%
Description
Once the website is split out into its own Git repository (Feature #5506), we can migrate the master Tails Git repository to immerda.
Subtasks
History
#1 Updated by intrigeri 2013-07-19 07:09:39
- Type of work changed from Wait to Sysadmin
#2 Updated by intrigeri 2013-12-29 03:21:39
- Subject changed from migrate master Git repository to immerda to Migrate master Git repository to immerda
- Category set to Infrastructure
- Starter set to No
#3 Updated by intrigeri 2014-08-02 16:52:18
- Type of work changed from Sysadmin to Discuss
I’ve no idea if our initial reasons for doing it are still valid: our current master Git repo is automatically mirrored to immerda, so we can do anything we want (IRC commit notification, whatever) there already. Also, it’s not as if we had to change the list of people (and SSH keys) with write access to the master Git repo that often. Therefore, I’m marking this ticket as needing further discussion, and will close it after a month or three unless good reasons to do this work are provided.
#4 Updated by intrigeri 2014-08-02 16:59:03
- blocks deleted (
)Feature #5506: Split Git
#5 Updated by intrigeri 2014-11-03 21:23:30
- Status changed from Confirmed to Rejected
As per monthly meeting.
#6 Updated by sajolida 2014-11-05 11:13:42
Discussed during the November https://tails.boum.org/contribute/meetings/201411/#index3h1.
The only real advantage of moving our master Git repository to immerda would be to have more control on who has commit permissions. But we do that only on very rare occasions. We couldn’t find any good reason to do this work so we rejected this ticket.