Search Syntax Improvements
Today we are announcing simplified syntax for adding comparison and range criteria to searches. Previously we relied on Solr-style syntax, so searching for items with more than 10 stars would…
Today we are announcing simplified syntax for adding comparison and range
criteria to searches. Previously we relied on Solr-style syntax, so searching
for items with more than 10 stars would look like stars:[10 TO *]
. The new
syntax simplifies this to stars:>10
.
Greater Than Queries
Let’s find all repositories that have something to do with “cats”, and that
have been starred 10 or more times by other GitHub users. All the following
search examples are equivalent:
Less Than Queries
What about if we are interested in the less popular “cats” repositories?
We can find them using the new syntax as well:
Range Queries
Our search updates also improve the syntax for range queries. Say we’re looking
for “cats” repositories that were last updated between the end of April and July 4th
of 2012. Using the new syntax this would look like:
Omitting Spaces
If you prefer a more compact notation and typing fewer characters, you can
omit the quotations and the space characters for any of these range criteria.
Quotations need to be included only if the range value contains whitespace.
Written by
Related posts
GitHub Availability Report: November 2024
In November, we experienced one incident that resulted in degraded performance across GitHub services.
The top 10 gifts for the developer in your life
Whether you’re hunting for the perfect gift for your significant other, the colleague you drew in the office gift exchange, or maybe (just maybe) even for yourself, we’ve got you covered with our top 10 gifts that any developer would love.
Congratulations to the winners of the 2024 Gaady Awards
The Gaady Awards are like the Emmy Awards for the field of digital accessibility. And, just like the Emmys, the Gaadys are a reason to celebrate! On November 21, GitHub was honored to roll out the red carpet for the accessibility community at our San Francisco headquarters.