FWIW, git.seabios.org can't be contacted anymore: $ git remote -v upstream https://git.seabios.org/seabios.git (fetch) upstream https://git.seabios.org/seabios.git (push) $ git remote update upstream Fetching upstream fatal: unable to access 'https://git.seabios.org/seabios.git/': gnutls_handshake() failed: The server name sent was not recognized error: could not fetch upstream
Firefox shows SSL_ERROR_UNRECOGNIZED_NAME_ALERT error when trying https://git.seabios.org/ Thanks, /mjt -- GPG Key transition (from rsa2048 to rsa4096) since 2024-04-24. New key: rsa4096/61AD3D98ECDF2C8E 9D8B E14E 3F2A 9DD7 9199 28F1 61AD 3D98 ECDF 2C8E Old key: rsa2048/457CE0A0804465C5 6EE1 95D1 886E 8FFB 810D 4324 457C E0A0 8044 65C5 Transition statement: http://www.corpit.ru/mjt/gpg-transition-2024.txt _______________________________________________ SeaBIOS mailing list -- seabios@seabios.org To unsubscribe send an email to seabios-le...@seabios.org
