Attempting to generate docs in a git@github.com clone fails

[tautschnig]

Running ./generate.sh in docs/verso/ I got:

[...]
✖ [321/554] Running Strata:srcUri.github
error: Could not interpret Git remote uri git@github.com:strata-org/Strata as a Github source repo.
See README on source URIs for more details.
[...]
Some required targets logged failures:
- Strata:srcUri.github
- Strata:srcUri.github
- Strata:srcUri.github
- Strata:srcUri.github
- Strata:srcUri.github
- Strata:srcUri.github
error: build failed

I don't even know whether this is a Strata or a Lean problem, but it would be great if documentation could also be generated from such a clone, and not just https://github.com ones.