Since https://github.com/sympy/sympy-bot/pull/113 was merged I guess we need to get rid from old code
https://github.com/sympy/sympy-bot/blob/master/web/app/main.py#L151 https://github.com/sympy/sympy-bot/blob/master/web/app/main.py#L198 https://github.com/sympy/sympy-bot/blob/master/web/app/main.py#L203 https://github.com/sympy/sympy-bot/blob/master/web/app/main.py#L208 (another?) Should we get rid from these code parts or we can use it somehow? --- Reply to this email directly or view it on GitHub: https://github.com/sympy/sympy-bot/issues/117 -- You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patches@googlegroups.com. To unsubscribe from this group, send email to sympy-patches+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en.