Thanks again Gunnar,
Sorry to keep bugging you, but one more question: what’s your LocalRegistry/LocalPackageServer workflow?
As far as I can tell (and I might have got this wrong), if I am using JULIA_PKG_SERVER=http://my.pkg.server then I can’t register new versions of packages to the LocalRegistry backing the server, so I’ve had to switch between that and registry add local.registry.git.url.
I’m probably doing something wrong, right?
Cheers,
Geoff