On Fri, 2025-05-02 at 10:00 +0000, Stefan Seifert wrote: > not sure if we have modules where the default branch is not called > master.
I strongly doubt it, the repo scripts would break otherwise. Robert
On Fri, 2025-05-02 at 10:00 +0000, Stefan Seifert wrote: > not sure if we have modules where the default branch is not called > master.
I strongly doubt it, the repo scripts would break otherwise. Robert