Prototype an extension .zip. Should basically allow a .zip with a well known registry.json in it with relative paths to binaries. We should unzip it, add the registry as a source, and offer a picker for which of the included extensions should be installed. I think the hard part will be managing all these temp sources (i.e., if someone's installing lots of PR builds how do they manage that cleanly? can we automatically remove old local sources? should these be a separate category?).
Prototype an extension .zip. Should basically allow a .zip with a well known registry.json in it with relative paths to binaries. We should unzip it, add the registry as a source, and offer a picker for which of the included extensions should be installed. I think the hard part will be managing all these temp sources (i.e., if someone's installing lots of PR builds how do they manage that cleanly? can we automatically remove old local sources? should these be a separate category?).