GitHub App token fallback misses recent issues in large repositories
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 68/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Quiet
- Tech stack
- github, github-actions, typescript
Research direction
Start at Github.matcher() and the listAll() fallback used by frog publish. Trace the labelled lookup, permission handling, and pagination behavior, then exercise the four test scenarios listed in the issue. Done means repeated publishes deduplicate matching reports and occurrence markers for both labelled and unlabelled destinations, including recent issues in large repositories.
Written by the indexing model from the issue text.
Description
Expected Behavior
Repeated frog publish runs find an issue created by an earlier run when it has the configured friction label and identical report and occurrence markers.
This should work when an Action-only workflow passes a GitHub App installation token, as documented in Frog's Action-only instructions.
Current Behavior
With a GitHub App installation token, Github.matcher() can treat the repository as unlabelled even when the same token successfully creates an issue with the configured label.
The publish result then includes the repository in unlabelled. The fallback calls listAll(), which requests issues oldest-first and stops after 50 pages of 100. In a repository with more than 5,000 issues, it does not inspect recently created Frog issues. A later publish can therefore create another issue for the same report and occurrence markers.
Possible Solution
Build the label-filtered issue index regardless of repos.get().permissions.push. Reading issues by label does not require permission to apply that label.
Keep the permission result for warning whether labels are expected to stick. If the labelled lookup misses, scan the unlabelled fallback newest-first so its bounded lookup includes recent reports.
Tests should cover:
- a token whose repository response does not indicate push permission while a matching labelled issue exists;
- a recent matching issue outside the oldest 5,000 repository issues;
- a destination where labels cannot be applied and the unlabelled fallback is required;
- report and occurrence marker deduplication across these paths.
Minimal Reproducible Example
- Use Frog 1.1.0 with a GitHub App installation token in a repository containing more than 5,000 issues.
- Configure
issue-authorfor the App bot and publish one unlinked entry. - Confirm that the issue has the configured label while the publish result reports the destination as unlabelled.
- Run
frog publishagain before merging the generatedissue:link. - Observe a second issue with the same report and occurrence markers.
The workflow follows Frog's documented custom-token configuration: it passes the installation token as the action's token, sets issue-author to the App bot login, and uses the same login in the issue-event guard. actions/create-github-app-token inherits the installation permissions by default.
Context
This can repeatedly file the same friction entry while the generated frog/sync pull request waits to merge. Restricting workflow triggers reduces the window but does not make publishing idempotent.
- Dominant language
- TypeScript
- Stars
- 267
- Forks
- 12
- PR merge metrics
- No merged PRs in 30d
Getting set up
This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from wevm/frog
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
frog log rejects Windows repository rootsPossibly taken A pull request linked to this issue is open or already merged. Open
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
-
feat: allow local log entries to select an issue formPossibly taken @emmajam claimed this 74 days ago. Open
Difficulty 4/5 3-5 days Newbie friendliness 55/100
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
paperclipai/paperclip#16785 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
code-yeongyu/senpi#3661 ·
Maintainers usually reply within 1 day
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Difficulty 1/5 Under an hour Newbie friendliness 78/100
lingdojo/kana-dojo#32731 · 1 comment · 5 reactions ·
Maintainers usually reply within 1 day
-
bug status: needs triage
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
mastra-ai/mastra#27538 · 1 comment ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
Yeachan-Heo/oh-my-codex#3822 ·
Maintainers usually reply within 1 day