Hi, We are planning a move of the git server on Nov 23th at 20 UTC. There will be a DNS switch and some quick tweaks that will be needed after it.
Expect a bit of downtime during the intervention. Use the gitlab or github mirror if you really need to access/clone it. Cheers, Jonathan _______________________________________________ Koha-devel mailing list [email protected] https://lists.koha-community.org/cgi-bin/mailman/listinfo/koha-devel website : http://www.koha-community.org/ git : http://git.koha-community.org/ bugs : http://bugs.koha-community.org/
