Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cache GitHub requests #236

Merged
merged 3 commits into from
Sep 24, 2024
Merged

Cache GitHub requests #236

merged 3 commits into from
Sep 24, 2024

Commits on Sep 24, 2024

  1. Clarify required permissions

    @benbc
    benbc committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2a27c14 View commit details
    Browse the repository at this point in the history

  2. Remove unused log configuration

    @benbc
    benbc committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    3eb3c44 View commit details
    Browse the repository at this point in the history

  3. Add optional caching of GitHub API requests 

    This seems to be the least invasive way of avoiding the overhead of
calling the GitHub API when developing the metrics. The most obvious
alternative would be persistently-memoizing the functions in the `query`
module (e.g. with `cachier`), but that would require more code.
    @benbc
    benbc committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    91ff738 View commit details
    Browse the repository at this point in the history