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

Add markers around PR body and only replace generated part when updating #193

Conversation

annervisser
Copy link
Owner

@annervisser annervisser commented Apr 26, 2024

I've added this bit to the PR body manually on GitHub, it should now be kept when updating the PR.

Move PR update check after force push and body


Add markers around PR body and only replace generated part when updating

Fixes #185

@annervisser annervisser self-assigned this Apr 26, 2024
@annervisser annervisser force-pushed the add-markers-around-pr-body-and-only-replace-generated-part-when-updating branch from cd4a1e5 to 2a77c81 Compare April 27, 2024 15:06
@annervisser annervisser force-pushed the add-markers-around-pr-body-and-only-replace-generated-part-when-updating branch from 2a77c81 to ba7a1d6 Compare April 27, 2024 15:06
@annervisser annervisser marked this pull request as ready for review April 27, 2024 15:08
@annervisser annervisser merged commit 4cc1078 into trunk Apr 27, 2024
4 checks passed
@annervisser annervisser deleted the add-markers-around-pr-body-and-only-replace-generated-part-when-updating branch April 27, 2024 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

preserve edited PR body when updating a PR
1 participant