are there any know reasons why extension:deploy wouldn't work. Seems to happen like once a year and it is super frustrating. Only way that I can fix it is upgrading the manifest version
texmc
05/03/2023, 6:57 PM
I wish there was a way to force the whole extension to get deployed
texmc
05/03/2023, 6:58 PM
the current diff logic is terrible if there are multiple developers. It gets out of sync and then we have to go to each file and add a white space to trigger a sync