I think GitHub is assuming that everyone who uses pull requests also uses their issue tracker. If you enable the issue tracker, all pull requests are considered issues. There are a ton of features available in the issue tracker that are not available to pull requests alone (like searching, milestones, colored labels, and assignee).
See https://github.com/asmeurer/GitHub-Issues-Test/issues (and feel free to play around with that issue tracker, I created it just for testing the GitHub issues). If you are really interested in what the GitHub issues can do, you might want to fork the project so you can have admin privileges in the issue tracker. Aaron Meurer On Fri, Jun 24, 2011 at 3:54 PM, Aaron Meurer <asmeu...@gmail.com> wrote: > 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.
