-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore(github): Automatically set the milestone on merged PRs #8631
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, cc @eclipse-theia/core
90107c1
to
9e7c09b
Compare
fixes #8453 Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa Signed-off-by: Florent Benoit <fbenoit@redhat.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Cool! With this Workflow, getting the info about a release content and a PR's release will be much easier.
One thing that can be improved later is handling the major and bugfix releases. But it should rather be a responsibility of a release script.
Thank you @benoitf Let's try it 🚀
What it does
Automatically set milestone when merging Pull Requests
it's using version stored in
@theia/core
package and bump it using 'minor update`Fixes #8453
How to test
Merge this PR :-)
(if you want to test, you can copy it on your own repository and merge some PRs)
be sure to have a
packages/core/package.json
file on this repositoryReview checklist
Reminder for reviewers
Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit fbenoit@redhat.com