mirage / irmin

Irmin is a distributed database that follows the same design principles as Git
https://irmin.org
ISC License
1.85k stars 157 forks source link

irmin_git: `fetch_all` for fetching all refs of a remote repo #2345

Open zazedd opened 1 month ago

zazedd commented 1 month ago

This PR adds a function very similar to fetch but that fetches and stores every remote Ref instead of just the one associated with a branch. It returns the list of all Ref heads.


I use this function (available from a vendored version of irmin) to get all of the branch names in a remote repo and to prepare to merge a branch into main.