Skip to content

chore: tweaks to release workflow#72

Merged
mcdurdin merged 1 commit intomainfrom
chore/pr-release-tweaks
May 21, 2025
Merged

chore: tweaks to release workflow#72
mcdurdin merged 1 commit intomainfrom
chore/pr-release-tweaks

Conversation

@mcdurdin
Copy link
Member

  • add reviewers
  • use 'auto' label and title prefix
  • link to release details in PR comment
  • use a unique branch name to avoid conflicts

* add reviewers
* use 'auto' label and title prefix
* link to release details in PR comment
* use a unique branch name to avoid conflicts
@mcdurdin mcdurdin added this to the A19S3 milestone May 21, 2025
@mcdurdin mcdurdin added the chore label May 21, 2025
@mcdurdin mcdurdin requested a review from ermshiperete May 21, 2025 08:33
@github-project-automation github-project-automation bot moved this to Todo in Keyman May 21, 2025
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 603838d into main May 21, 2025
2 checks passed
@mcdurdin mcdurdin deleted the chore/pr-release-tweaks branch May 21, 2025 08:36
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman May 21, 2025
@mcdurdin
Copy link
Member Author

ref: #64

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