Migrate master Git repository to immerda
Originally created by Tails on #6051 (Redmine)
Once the website is split out into its own Git repository (sysadmin#5506 (closed)), we can migrate the master Tails Git repository to immerda.
Edited by import-from-Redmine