Skip to content

Remove editing PR body as part of creation#292

Merged
geofflamrock merged 1 commit intomainfrom
remove-editing-pr-body
Jun 24, 2025
Merged

Remove editing PR body as part of creation#292
geofflamrock merged 1 commit intomainfrom
remove-editing-pr-body

Conversation

@geofflamrock
Copy link
Owner

@geofflamrock geofflamrock commented Jun 24, 2025

Currently we support editing the body of a new PR in the default editor as part of creation. I've found that I don't use this at all and it just gets in the way, so am removing it. PRs will now just put the list at the top of the body (and include any template) and then create, making the workflow much simpler.

@geofflamrock geofflamrock added the minor Increment the minor version when merged label Jun 24, 2025
@geofflamrock geofflamrock merged commit c49cf51 into main Jun 24, 2025
18 checks passed
@geofflamrock geofflamrock deleted the remove-editing-pr-body branch June 24, 2025 22:15
@geofflamrock geofflamrock added this to the 0.12.0 milestone Jun 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

minor Increment the minor version when merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant