git.jankratochvil.net: http->https