Jeff Hodges

This is all wonderful context! As a user of your design, a wiki page with this information that the selector and verifier godoc bits linked to would be great. I...

This might all come down to me not knowing what a Biscuit with only some of the symbols from the SymbolTable would mean?

Hey, this would be great to get. My justrun utility is failing for vim users because vim does Weird Things with rename on OS X.

I _think_ watchdog (https://github.com/gorakhargosh/watchdog) has figured out a cross-platform API, by the way.

This seems like it can be closed?

I fixed those permission errors in #258 with a small change to `scripts/build.sh`. If you include that, you should be able to update your PR successfully.

This downgrade seems to happen anytime you run `npm install` at all.

Oh, I've also had to include #258 in order to get the CI past the pbjs and pbts permission problems.

Made a quick not for submission PR to demo the problem: https://github.com/bazelbuild/vscode-bazel/pull/257

Yeah, is there some way to turn off it running at boot? It's not listed in my login items but still manages to get booted on login. I've just uninstalled...