Public Git HostingWe've replaced our SSH host key recently. We did this because the original ssh host key in use since 2009 is no longer considered sufficiently secure. You may see a very ugly message (WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!) when you access any repositories using ssh. The error message will indicate which line of your "known_hosts" file must be removed to get rid of the ugly message. The
