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

Let GitHub generate release notes #386

Merged
merged 1 commit into from
Oct 23, 2023
Merged

Let GitHub generate release notes #386

merged 1 commit into from
Oct 23, 2023

Conversation

nscuro
Copy link
Member

@nscuro nscuro commented Oct 23, 2023

Description

Switches release notes to being automatically generated by GitHub.

This is analogue to how we're doing it for the hyades repository already.

Addressed Issue

N/A

Additional Details

N/A

Checklist

  • I have read and understand the contributing guidelines
  • This PR fixes a defect, and I have provided tests to verify that the fix is effective
  • This PR implements an enhancement, and I have provided tests to verify that it works as intended
  • This PR introduces changes to the database model, and I have added corresponding update logic
  • This PR introduces new or alters existing behavior, and I have updated the documentation accordingly

Analogue to how we're doing it for the hyades repository already.

Signed-off-by: nscuro <nscuro@protonmail.com>
@nscuro nscuro added the enhancement New feature or request label Oct 23, 2023
@VithikaS VithikaS merged commit 01bb065 into main Oct 23, 2023
6 checks passed
@VithikaS VithikaS deleted the generate-releasenotes branch October 23, 2023 13:10
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 23, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants