ENSIME: The Next Generation

so … you know the way repos on github are public and anybody can see them and comment on the issue tracker and raise pull requests? And then there’s usually an associated gitter/discord/slack channel where hundreds of users come to ask for help, instead of reading the docs (that you’re expected to maintain)? And then there’s a bunch of really angry people on reddit and twitter, and a competing group of developers, who absolutely hate everything about you?

Well, it’s just like that. Except it’s just the github repo and pull requests, and only people you invite are allowed to see it and propose changes (with code!). Maybe there’s a private chat room somewhere but more likely it’s just a bunch of private 1on1 correspondence.

2 Likes