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

PR title for make release-docs is wrong #744

Closed
kschumy opened this issue Feb 19, 2022 · 0 comments
Closed

PR title for make release-docs is wrong #744

kschumy opened this issue Feb 19, 2022 · 0 comments
Assignees
@kschumy
Projects
Improve make release-related commands

Comments

@kschumy
Copy link
Contributor

kschumy commented Feb 19, 2022

What happened:
The PR title for make release-docs is wrong. Example of generated title: "1.18 15 docs 1645237576"

What you expected to happen:
The title should be something like this: "Added docs for 1.18-15 release"
@kschumy kschumy self-assigned this Feb 19, 2022
@kschumy kschumy mentioned this issue Mar 9, 2022
Closed
@kschumy kschumy closed this as completed May 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kschumy kschumy

Labels
None yet
Projects
No open projects
Improve make release-related commands
Awaiting triage
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kschumy