Pieter Noordhuis
|
64fcd3d2ee
|
Allow specifying repo by path for repos commands (#526)
## Changes
The repos commands take a repo ID. It is more convenient to specify
repos by their paths.
Closes #523.
## Tests
New integration tests pass.
|
2023-06-26 23:37:05 +00:00 |