Hi Martin!
On 9/20/21 18:44, Martin Decky wrote:
(2) Manually update the respective components (i.e. src/fiasco, src/l4/mk, src/l4/pkg/bootstrap, etc.) from the respective GitHub repositories. Maybe I've missed something, but I was unable to find any integration repository that would just point to the other repos as submodules or something in that style. And I don't know where is the upstream of things like bin/setup.d and alike.
Do you need something from the snapshot other than the packages you then update from GitHub? If you only need the GitHub packages, the tool for maintaining all of the individual repos at once is called ham and its use is described in our tutorial at:
https://github.com/kernkonzept/manifest/wiki/BUILDING
Cheers, Jakub