When using the extension manager and editing the extensions.json file does the url have to be a .git url? Can it be a server url where my tools are? I want to use the extension manager but use it “locally” to my company server and not reach out to the web. I know I can create the custom folder for my tools but I can not enable or disable extensions and having a multi-disicpline firm I would like to have the user enable what extensions they want based on what disicpline they are.
I watched https://www.youtube.com/watch?v=v8d5FA-7suw which was very helpful to get me this far.