Aaron Meurer

As discussed on the mailing list: Let's do this in a distributed fashion. So just have the server give one pull request at a time, and keep track that it...

Any thoughts on how to break this up for Code-In?

Here is the relevant API https://developer.github.com/v3/teams/members/#add-or-update-team-membership If I understand the permissions correctly, we need to make the bot a "team maintainer" for the "Triage" team. That way it will have...

OK. But note this needs to be fixed in the CSS templates in the sympy repo, not in this repo.

If I had to guess, there is some issue with this nasty regular expression https://github.com/sympy/sphinx-math-dollar/blob/c60310d5038c9864ba85640ac76b7ecf9f8724d5/sphinx_math_dollar/math_dollar.py#L52

This has to do with the change from https://github.com/sympy/sphinx-math-dollar/issues/22 (https://github.com/sympy/sphinx-math-dollar/pull/24).

It's probably better to search for `[sympy-bot](https://github.com/sympy/sympy-bot)`, or even `Automatic review by [sympy-bot](https://github.com/sympy/sympy-bot)`, as people type "sympy-bot" in the comments all the time.

Actually, we probably need to keep track of reviewed SHA1 hashes in some database. The reason is that changed pull requests are not guaranteed to show commits after the latest...

Actually, I think just searching comments for SHA1 hashes should work. A database would work too (that's related to #63). Another way would be to implement #132.

We use argparse now. Was this fixed?