Global Issue Search
There are a more than a million open issues to be found across all public repositories hosted on GitHub right now. Finding a specific issue can be a tedious process…
There are a more than a million open issues
to be found across all public repositories hosted on GitHub right now. Finding a
specific issue can be a tedious process of looking through the issue list for each
repository you are interested in. We hate tedium, so we made this much easier.
Today we are releasing global issue search. With a single query you can now
search the issues of all public repositories and the private repositories you
have access to. You can restrict the search results to a
single organization,
or you can show only those issues assigned to one user.
You can find this new feature on the global search
page. To get you started, here are a few example searches showing off the filters you can use with
global issue search:
- encoding @heroku
- search state:open
- strange comments:>42
- hard label:bug
- author:mojombo
- mentions:tpope
- assignee:rtomayko
- exception created:>2012-12-31
- exception updated:<2013-01-01
Written by
Related posts
Apply now for GitHub Universe 2023 micro-mentoring
As part of our ongoing commitment to accelerate human progress through Social Impact initiatives, we’re offering students 30-minute, 1:1 micro-mentoring sessions with GitHub employees ahead of Universe.
The 2023 Open Source Program Office (OSPO) Survey is live!
Help quantify the state of enterprise open source by taking the 2023 OSPO survey.
Godot 4.0 Release Party 🎉
We are delighted to host the Godot 4.0 Release Party at GitHub HQ on Wednesday, March 22 from 6:30 pm to 9:30 pm. And you’re invited!