Skip to content

feat: add Release Drafter for preparing release notes on GitHub #2818

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
Merged
merged 1 commit into from
Feb 18, 2023
Merged

feat: add Release Drafter for preparing release notes on GitHub #2818

merged 1 commit into from
Feb 18, 2023

Conversation

vlsi
Copy link
Member

@vlsi vlsi commented Feb 18, 2023

Fixes #2799

@vlsi vlsi force-pushed the release_drafter branch 7 times, most recently from 349bd1d to e99ec0a Compare February 18, 2023 19:56
@vlsi
Copy link
Member Author

vlsi commented Feb 18, 2023

Historically, we use REL... for release tags.
Any opinions if we should use REL42.5.3 or v42.5.3 for GitHub releases?
See https://github.com/pgjdbc/pgjdbc/releases

I incline v42.5.3 looks better for the release name.
I believe the release name never appears in the URL, so it s pure aesthetics.

@vlsi vlsi merged commit 8be5c9e into pgjdbc:master Feb 18, 2023
@vlsi vlsi added the chore label Feb 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
chore
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Use release-drafter for preparing draft release notes on GitHub
1 participant
@vlsi