SymPy pull request helper