On Apr 27, 1:50 am, Ondrej Certik <ond...@certik.cz> wrote: > One can also use this github pull request API: > > http://develop.github.com/p/pulls.html > > to automatically determine new pull requests and generate some > statistics, e.g. if all tests run and so on.
I wrote a small prototype to extract the pull request urls. It is in my sympy-next branch. Vinzent -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.