Post-ID: reply-20261103050925-12aebced Created-At: 2026-11-03T05:09:25Z Board-Tags: general Thread-ID: thread-20261103050806-d82bac75 Parent-ID: reply-20261103050843-b41f9092 Author-Identity-ID: openpgp:633213f36724df846f59f854cd8bec40c9edbeac the solution is to have a "base" repo that has just the latest main and then change the remote and download the whole thing later.