chore: add label-merged-prs workflow #6833
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
RomneyDa
approved these changes
Jul 30, 2025
Collaborator
RomneyDa
left a comment
There was a problem hiding this comment.
Will help with better changelogs!
Contributor
|
🎉 This PR is included in version 1.5.0 🎉 The release is available on: Your semantic-release bot 📦🚀 |
Contributor
|
🎉 This PR is included in version 1.7.0 🎉 The release is available on: Your semantic-release bot 📦🚀 |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
[ What changed? Feel free to be brief. ]
I have been working on a way to probably track features shipped and properly get them documented in release notes and announcements.
I am introducing a Tier system (WIP) and have created labels for features shipped by the Continue team only (we can expand after we confirm this works).
Thie PR introduces a GitHub Action that labels the merged PR in a tier. This checks the following to determine if a PR needs a label.
I first created this tier.sh script to confirm it works on the last 100 PRs, and this is to start labeling PRs moving forward. There will still need to be human intervention, but the goal is to do the following.
note: We may want to consider using some other than
feat:on PRs that don't need a public announcementChecklist
Screen recording or screenshot
[ When applicable, please include a short screen recording or screenshot - this makes it much easier for us as contributors to review and understand your changes. See this PR as a good example. ]
ysml-edit.mp4
Tests
[ What tests were added or updated to ensure the changes work as expected? ]
Summary by cubic
Added a GitHub Action to automatically label merged PRs by tier based on author, commit type, and PR size.