Skip to content

chore: make github username global in release GHA#67

Merged
mcdurdin merged 1 commit intomainfrom
chore/github-username-global-in-release-gha
May 21, 2025
Merged

chore: make github username global in release GHA#67
mcdurdin merged 1 commit intomainfrom
chore/github-username-global-in-release-gha

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 requested a review from ermshiperete May 21, 2025 07:23
Copy link
Contributor

@ermshiperete ermshiperete 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 merged commit 8f96f6d into main May 21, 2025
2 checks passed
@mcdurdin mcdurdin deleted the chore/github-username-global-in-release-gha branch May 21, 2025 07:26
@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