git: avoid re-fetching the same branch

RedPRL / bantorra

📚 A library for managing libraries and resolving unit paths

https://redprl.org/bantorra/bantorra

Apache License 2.0

17 stars 0 forks source link

git: avoid re-fetching the same branch #65

Closed favonia closed 9 months ago

favonia commented 1 year ago

idea: let's just have different copies!

favonia commented 1 year ago

This is more difficult than it seems. It is annoying to get the commit hash of a remote branch or tag without downloading the data. Therefore, a stricter policy that treats different tags and branches as different libraries would be easier.

favonia commented 9 months ago

not planned now