I want to clone a git repository whose git://
server is down.
Fortunately its gitweb interface is still working and all the data required to reconstruct the git repository is available from there.
So, is there any git command or other tool able to clone a git repository from gitweb?
(I could write a bot myself, but don't want to waste my time doing it if there is another way)