Skip to content

Join GitHub (or sign in) to find projects, people, and topics catered to your interests.

Here's what's popular on GitHub today...

PWA logo
Popular topic
Progressive Web Apps are traditional web sites that are enhanced with native like features.
Ekoparty 2020
Upcoming event recommended by GitHub
Sep
24

Ekoparty 2020

September 24, 2020 - September 26, 2020 • Virtual

An annual information security conference that, because of its unique characteristics and particular style, has become a referent for all Latin America.
Codecov | Code Coverage Reports screenshot
App recommended by GitHub

Codecov | Code Coverage Reports

Codecov provides highly integrated tools to group, merge, archive and compare coverage reports.

  1. Uploads coverage reports from your CI
  2. Merges all builds and languages into one beautiful, coherent report.
  3. Displays data in GitHub via our Sourcegraph browser extension.

Is your team using GitHub Enterprise? If so, check out Codecov Enterprise.

Do you have less than 5 users in your organization? You can sign up for free on codecov.io.

MeiliSearch
Trending repository
unknownhasher
unknownhasher commented Jun 9, 2020

Is your feature request related to a problem? Please describe.
I want to show the number of total results (for pagination and for feedback to my users). The result field nbHits is updated by the search string but is not updated by the filters that are given. Because of that it is impossible to give a total count to the users and make a good pagination.

Describe the solution you'd like

Trending repository
Jira Software + GitHub screenshot
App recommended by GitHub

Jira Software + GitHub

Connect your code with your project management in Jira. A separate Jira Cloud subscription is required. With two of your most important tools connected, you'll spend less time managing projects and more time working on them.

By installing or using the app, you agree to the Terms and Conditions.

You can’t perform that action at this time.