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.

Sign up for GitHub

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

Jump to bottom

Automated GitHub Milestones for Pull Requests #8453

Closed
azatsarynnyy opened this issue Sep 1, 2020 · 0 comments · Fixed by #8631
Closed

Automated GitHub Milestones for Pull Requests #8453

azatsarynnyy opened this issue Sep 1, 2020 · 0 comments · Fixed by #8631
Labels
enhancement issues that are enhancements to current functionality - nice to haves Team: Che-Editors issues regarding the che-editors team
Milestone
1.7.0

Comments

@azatsarynnyy
Copy link
Member

azatsarynnyy commented Sep 1, 2020 •
edited
Loading

This is a follow-up issue for the topic raised on the Theia Dev meeting
https://github.com/eclipse-theia/theia/wiki/Dev-Meetings#minutes-2020-09-01

Feature Description:

I'd like to propose:

  • adding the GitHub Milestones that would correspond to each Theia release
  • adding automation for setting GitHub Milestones for a Pull Request once it's merged

That would allow us to be able to get quick info about:

  • into what release a specific Pull Requests was included
  • list of all the PRs that were included in a specific release

It would be possible without navigating through the whole CHANGELOG.md and I believe it would be very helpful for the downstream projects.

To include the PRs automatically into a corresponding Milestone, we can consider using GitHub Actions. It will be transparent for the community as all the automation code will live in Theia GitHub repository.

As this flow is supposed to be fully automated, it shouldn't require any manual steps from the contributors.
@azatsarynnyy azatsarynnyy added enhancement issues that are enhancements to current functionality - nice to haves Team: Che-Editors issues regarding the che-editors team labels Sep 1, 2020
@azatsarynnyy azatsarynnyy mentioned this issue Sep 17, 2020
Closed
18 tasks
@azatsarynnyy azatsarynnyy added this to the 1.7.0 milestone Oct 8, 2020
@azatsarynnyy azatsarynnyy mentioned this issue Oct 8, 2020
Closed
15 tasks
benoitf added a commit that referenced this issue Oct 14, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
3f0acec 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
@benoitf benoitf mentioned this issue Oct 14, 2020
Merged
1 task
benoitf added a commit that referenced this issue Oct 14, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
3d96e62 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
benoitf added a commit that referenced this issue Oct 14, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
ba2dd7e 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
benoitf added a commit that referenced this issue Oct 14, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
90107c1 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
benoitf added a commit that referenced this issue Oct 14, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
9e7c09b 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
benoitf added a commit that referenced this issue Oct 14, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
5e9c34b 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
benoitf added a commit that referenced this issue Oct 15, 2020
@benoitf
chore(github): Automatically set the milestone on merged PRs
c4f324a 
fixes #8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
EstherPerelman pushed a commit to EstherPerelman/theia that referenced this issue Oct 29, 2020
@benoitf @EstherPerelman
chore(github): Automatically set the milestone on merged PRs
d00dca2 
fixes eclipse-theia#8453

Change-Id: I24d730cd7f9fd37b928894ad9ccfd360c2d0b6fa
Signed-off-by: Florent Benoit <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement issues that are enhancements to current functionality - nice to haves Team: Che-Editors issues regarding the che-editors team
Projects
None yet
Milestone
1.7.0
Development

Successfully merging a pull request may close this issue.

chore(github): Automatically set the milestone on merged PRs eclipse-theia/theia
1 participant
@azatsarynnyy