Skip to content

chore: purge irrelevant old content#693

Merged
mcdurdin merged 2 commits intomasterfrom
chore/remove-ancient-content
Mar 25, 2026
Merged

chore: purge irrelevant old content#693
mcdurdin merged 2 commits intomasterfrom
chore/remove-ancient-content

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

Cherry-picked-from: #691
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 A19S25 milestone Mar 24, 2026
@mcdurdin mcdurdin requested a review from darcywong00 March 24, 2026 13:02
@mcdurdin mcdurdin force-pushed the chore/remove-ancient-content branch from 368eb55 to 1de2ff9 Compare March 24, 2026 13:03
Copy link
Copy Markdown
Contributor

@darcywong00 darcywong00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@mcdurdin mcdurdin enabled auto-merge March 25, 2026 04:38
@mcdurdin mcdurdin merged commit a3e8a0e into master Mar 25, 2026
5 checks passed
@mcdurdin mcdurdin deleted the chore/remove-ancient-content branch March 25, 2026 05:01
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Mar 25, 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.

3 participants