IMHO, `theme.json` should have for each theme the URL of the source `.tmTheme` file. These entries should then be used to regularly keep the themes up to date in this repo.
IMHO,
theme.jsonshould have for each theme the URL of the source.tmThemefile.These entries should then be used to regularly keep the themes up to date in this repo.