doc: Fix fetchGit default name (#9241)

This commit is contained in:
Silvan Mosberger 2023-10-26 07:05:48 +02:00 committed by GitHub
parent bfd51a4137
commit 46028ff764
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -392,7 +392,7 @@ static RegisterPrimOp primop_fetchGit({
The URL of the repo.
- `name` (default: *basename of the URL*)
- `name` (default: `source`)
The name of the directory the repo should be exported to in the store.