Thanks for the nice work!
Currently, if I understand correctly, the plugin makes it easy to create a new switch from a given PR on the github repository. I’m not sure from the documentation whether I will get a “local switch”, or a new switch in my global root.
This sounds convenient and ideal for people who want to test a PR authored by someone else. (Previously people wanting feedback on their PR would build a separate opam repository with a proposed switch, and this was fairly cumbersome.)
On the other hand, currently the plugin (at least the documented features) is not so useful for someone developing on a branch of the compiler. For those use-cases, using the in-compiler opam files (plus pinning / local install), as documented in the compiler’s HACKING.adoc file, is more appropriate.