Skip to content

Comments

chore: use correct repo name in gh call#71

Merged
mcdurdin merged 1 commit intomainfrom
chore/gha-use-correct-repo-name-gh
May 21, 2025
Merged

chore: use correct repo name in gh call#71
mcdurdin merged 1 commit intomainfrom
chore/gha-use-correct-repo-name-gh

Conversation

@mcdurdin
Copy link
Member

No description provided.

@mcdurdin mcdurdin added this to the A19S3 milestone May 21, 2025
@mcdurdin mcdurdin added the chore label May 21, 2025
@github-project-automation github-project-automation bot moved this to Todo in Keyman May 21, 2025
@mcdurdin mcdurdin merged commit c1d2146 into main May 21, 2025
2 checks passed
@mcdurdin mcdurdin deleted the chore/gha-use-correct-repo-name-gh branch May 21, 2025 08:21
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman May 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants