ci: pass GITHUB_TOKEN to stats script step#78
Open
nice2mitja wants to merge 1 commit into
Open
Conversation
The companion script .github/scripts/fetch_and_append_stats.py (which lives on the release_stats branch) is being switched to GitHub's GraphQL API in PR SAP#77 to work around the REST endpoint's 1000-release pagination cap. GraphQL requires authentication, so the workflow needs to pass GITHUB_TOKEN to the Python step as an env variable. This change is independent of the script change itself and could be merged before SAP#77 (extra env var on a script that doesn't read it is harmless), making the cutover risk-free.
RealCLanger
approved these changes
Jun 16, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds
GITHUB_TOKENas an env variable to the Python step that runsfetch_and_append_stats.pyfrom therelease_statsbranch.Why
The companion PR #77 (against
release_stats) switches that script to GitHub's GraphQL API, which is the only way to work around the/repos/.../releasesREST endpoint's hard ~1000-result pagination cap. The cap was causing the oldest releases (e.g.sapmachine-11.0.2with 1.94 M downloads) to silently fall out of the snapshots.GraphQL requires authentication. The workflow must therefore pass
GITHUB_TOKENto the script's environment.Diff
That's the entire change.
Merge order
This PR is forward-compatible with the current script (an unused env var is harmless), so it can be merged at any time — ideally before #77, so that when the script update lands the workflow already has the env var ready.
Related
fetch_and_append_stats.pyto GraphQL (againstrelease_statsbranch)