Skip to content
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

Merged
merged 1 commit into from
Oct 15, 2020

Conversation

benoitf
Copy link
Contributor

@benoitf benoitf commented Oct 14, 2020

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 repository

Review checklist

Reminder for reviewers

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit fbenoit@redhat.com

@paul-marechal paul-marechal added documentation issues related to documentation enhancement issues that are enhancements to current functionality - nice to haves labels Oct 14, 2020
Copy link
Member

@paul-marechal paul-marechal left a 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

.github/workflows/set-milestone-on-pr.yml Show resolved Hide resolved
.github/workflows/set-milestone-on-pr.yml Outdated Show resolved Hide resolved
@benoitf benoitf force-pushed the THEIA-8453 branch 3 times, most recently from 90107c1 to 9e7c09b Compare October 14, 2020 16:07
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
Copy link
Member

@azatsarynnyy azatsarynnyy left a 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 🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation issues related to documentation enhancement issues that are enhancements to current functionality - nice to haves
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Automated GitHub Milestones for Pull Requests
4 participants