Migrate master Git repository to immerda
Once the website is split out into its own Git repository (
Feature #5506), we can migrate the master Tails Git repository to immerda.
#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.
#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.