Skip to content

fix: handle closed pull requests#643

Merged
mcdurdin merged 1 commit intomasterfrom
fix/handle-closed-prs
May 4, 2026
Merged

fix: handle closed pull requests#643
mcdurdin merged 1 commit intomasterfrom
fix/handle-closed-prs

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

@mcdurdin mcdurdin commented May 4, 2026

When a PR is closed, avoid re-loading the data from the PR and just remove it from the cache.

Test-bot: skip

When a PR is closed, avoid re-loading the data from the PR and just
remove it from the cache.

Test-bot: skip
@keymanapp-test-bot
Copy link
Copy Markdown

User Test Results

Test specification and instructions

User tests are not required

@keymanapp-test-bot keymanapp-test-bot Bot added this to the A19S28 milestone May 4, 2026
@github-actions github-actions Bot added the fix label May 4, 2026
@github-project-automation github-project-automation Bot moved this to Todo in Keyman May 4, 2026
@mcdurdin mcdurdin merged commit b3dc6ba into master May 4, 2026
5 checks passed
@mcdurdin mcdurdin deleted the fix/handle-closed-prs branch May 4, 2026 10:38
@github-project-automation github-project-automation Bot moved this from Todo to Done in Keyman May 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants