Interesting, thanks for the in-depth explanation!
Looks like the simplest solution that doesn’t even require any Pkg modifications is indeed making a separate repo that gets populated only when releasing a new version. With a small script I think even the commits can be preserved, erasing only their datetimes.