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

Create monthly release workflow #4808

Merged
merged 11 commits into from
Jul 12, 2023
Merged

Create monthly release workflow #4808

merged 11 commits into from
Jul 12, 2023

Conversation

jorg-vr
Copy link
Contributor

@jorg-vr jorg-vr commented Jul 5, 2023

This pull request adds a new workflow that will automatically create a release with a discussion every month on the first day of the month.

Closes #4673

@jorg-vr jorg-vr added chore Repository/build/dependency maintenance no-release-notes Pull requests that should not show up in release notes labels Jul 5, 2023
@jorg-vr jorg-vr self-assigned this Jul 5, 2023
@jorg-vr jorg-vr marked this pull request as ready for review July 5, 2023 09:21
@jorg-vr jorg-vr requested a review from a team as a code owner July 5, 2023 09:21
@jorg-vr jorg-vr requested review from bmesuere and niknetniko and removed request for a team July 5, 2023 09:21
Copy link
Member

@bmesuere bmesuere left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@jorg-vr
Copy link
Contributor Author

jorg-vr commented Jul 5, 2023

There is no need to create the tag. The tag will be created by the api call
https://docs.github.com/en/rest/releases/releases?apiVersion=2022-11-28#create-a-release

Eg this tag was created by me testing this script: https://github.com/dodona-edu/dodona/releases/tag/2023.07-test

@bmesuere bmesuere added the no deploy Prevents automatic deploy after merging label Jul 5, 2023
@bmesuere bmesuere removed the no-release-notes Pull requests that should not show up in release notes label Jul 12, 2023
@jorg-vr jorg-vr merged commit 4545af8 into main Jul 12, 2023
@jorg-vr jorg-vr deleted the chore/monthly-release branch July 12, 2023 09:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Repository/build/dependency maintenance no deploy Prevents automatic deploy after merging
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Change deploy process
2 participants