Aaron Meurer

So far I've basically just been writing this project for me. I use it every day, but I've never written it with one person in mind. This simplifies the design...

I believe this is the problem, and it leads to another annoying things not being included in the test report as well, such as warnings. For example, if you create...

I don't see it. I see one comment for the release notes and one for the added files. Was there a comment that was deleted?

We could merge them into one comment. I just did a separate comment to make it clear that they are separate checks, but maybe it would be cleaner as a...

That would also be better for seeing the history, since currently it deletes the file added comment if the commits are rebased and the added files are removed. But if...

According to http://developer.github.com/v3/#rate-limiting, the limit is 60 per hour for unauthenticated requests and 5000 per hour for authenticated requests. So we just need to change all API requests to be...

Also, let's include the "message" from the API in the "could not get pull request..." output.

I started work on this. The new app is `sympy-reviews` (I'll give you access if you want to play around with it). I deployed the app, but right now, it...

Also, @certik, how do you manually populate the pull requests?

If we want to do that I think we should just use the GitHub action https://github.com/manics/action-binderbadge. Otherwise we would have to reimplement it in the SymPy bot.