[SeaBIOS] Re: Anonymous git clone access broken?