This seems to be a (rather big) feature that's lacking in the system. If you know what user opened the pull request you are looking for, you can click his name on the left and narrow it down a bit. Perhaps you should contact GitHub and request the feature (click on "Contact" at the bottom of a GitHub page).
Otherwise, I would just use Google, using the site: feature, like http://www.google.com/search?q=ordered_iter%20site:https://github.com/sympy/sympy/pull. Aaron Meurer On Fri, Jun 24, 2011 at 11:02 AM, smichr <smi...@gmail.com> wrote: > Does anyone know how to search the pull requests, open and/or closed? > > -- > 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. > > -- 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.
