[SeaBIOS] Git clone of SeaBIOS over HTTPS failing

[Stefan Hajnoczi]

Something is up with the seabios.git repo:

$ git clone https://git.seabios.org/seabios.git
Cloning into 'seabios'...
fatal: unable to access 'https://git.seabios.org/seabios.git/':
Maximum (20) redirects followed

Stefan