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

Make PR template use a comment #615

Merged
merged 2 commits into from
Nov 2, 2023
Merged

Make PR template use a comment #615

merged 2 commits into from
Nov 2, 2023

Conversation

akshayjshah
Copy link
Member

Rather than automatically inserting text into PR messages, use an HTML
comment. This is especially helpful when opening PRs with the gh tool, which
makes it easy to forget to manually edit the summary.

Rather than automatically inserting text into PR messages, use an HTML
comment.
@akshayjshah akshayjshah requested a review from jhump October 25, 2023 05:25
@akshayjshah akshayjshah added the ignore-for-release Exclude from release notes label Oct 25, 2023
@nicksnyder nicksnyder merged commit f2e7b4c into main Nov 2, 2023
7 checks passed
@nicksnyder nicksnyder deleted the ajs/pr-template branch November 2, 2023 20:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ignore-for-release Exclude from release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants