Kevin Murphy

GitHub OAuth

3

Contains a few files: - `/server/server.py` UPDATED to include routes for * `/login` sends out the OAuth request * `/github-callback` after attempted authentication - `/requirements.txt` for tracking module dependencies for...

Add javascript autoformatting

5

At the moment, the formatting of the javascript files is pretty ugly and inconsistent (which is my fault). On [`notatrix`](https://github.com/keggsmurph21/notatrix), one of our dependencies, I started using [`clang-format`](https://clang.llvm.org/docs/ClangFormat.html) to automatically...

notes from meeting 7/31

8

- [x] auto-adding of deps needs to be removed (the logic behind it was wrong, see `http://universaldependencies.org/format.html`) - [x] clicking on the "enhanced dependencies magic tree" should auto fill in...