Closed
Description
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.