Marek Paśnikowski schreef op ma 04-04-2022 om 20:43 [+0200]:
> 3. For a local repository, use (url "file://") or (url "/path").

Yes, that should work.

Greetings,
Maxime.