Bug Report: GitHub Repository Search with stars<${stars_num} Query

[csr0321]

Select Topic Area

Bug

Body

In the GitHub repository search, I encountered an issue with the query q: stars<${stars_num}. When stars_num is greater than 2200, the search results only include repositories with up to 2.2k stars, even if the actual specified stars_num is higher. However, when stars_num is less than 2200, the search works as expected, returning repositories with stars below the specified number.

For example:

• q: stars<2200 returns repositories correctly, showing results with star counts below 2200.
• q: stars<2500 still limits results to repositories with a maximum of 2.2k stars, which appears incorrect.
  Interestingly, the query q: stars>${stars_num} works correctly regardless of the stars_num value, returning repositories with stars above the specified count as expected.

Could you please investigate and resolve this issue? In addition to affecting the page, it also affects the API

This is the correct result showing the stars filter working as expected.

This is the incorrect result where stars filter is not working properly with the 'q: stars<${stars_num}' query.

This is another correct result showing stars filter working as expected with the proper query.

[github-actions[bot]]

💬 Your Product Feedback Has Been Submitted 🎉

Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users.

Here's what you can expect moving forward ⏩

• Your input will be carefully reviewed and cataloged by members of our product teams. 
  • Due to the high volume of submissions, we may not always be able to provide individual responses.
  • Rest assured, your feedback will help chart our course for product improvements.
• Other users may engage with your post, sharing their own perspectives or experiences. 
• GitHub staff may reach out for further clarification or insight. 
  • We may 'Answer' your discussion if there is a current solution, workaround, or roadmap/changelog post related to the feedback.

Where to look to see what's shipping 👀

• Read the Changelog for real-time updates on the latest GitHub features, enhancements, and calls for feedback.
• Explore our Product Roadmap, which details upcoming major releases and initiatives.

What you can do in the meantime 💻

• Upvote and comment on other user feedback Discussions that resonate with you.
• Add more information at any point! Useful details include: use cases, relevant labels, desired outcomes, and any accompanying screenshots.

As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities.

Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐