Hello, as you know I am currently busy with updating some parts of our infrastructure. While that is making some good progress, I wanted to give you a small update: The Git server has been replaced by a new machine. This one is running CentOS 7 as all new servers now and we are phasing our Fedora everywhere else. This machine is using the same SSH key, but a new OS in installed and some settings have been made tighter. So if you are experiencing any issues, please let me know. Also, the new server has a new hostname. It is called people01.i.ipfire.org which is in line with our new account system that is currently being tested and will officially be announced soon. Best, -Michael