Hi, I went through all my github notifications for sympy, so currently my queue is empty. Yes! Then I went through all pull requests and I managed to get the number down to 57 in the last few days (I think it was over 70). I did run or check tests, but if there are some failures in master, I'll try to fix it asap.
I noticed that we have some pull requests where the original author lost interest (stopped replying to comments, even to a direct question whether he plans to finish it). Should we just close those? I checked that one can (even if you don't have push access) still reopen the pull request later, if he starts working on it again. The reason why I want to close some older pull requests that nobody is interested in is so that we can lower our overall number and can concentrate on the PRs that do matter. There are some long PRs with lots of code, that unfortunately are stalled. It'd be nice to bring it up to speed again and merge it. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
