Well I'm not super convinced that keeping the repo like that is such a great idea. All the revisions of all those giant GDS/DEF/MAG means it's already a 6G checkout ... it's exploding in size.

Ok, How are you guys forking the caravel repo with your own design name?

Well I just forked it on github then renamed the repo.

Thanks, that works, I was under the impression that forked repository can't be renamed