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

feat: allow for pruning of older PRs #438

Merged
merged 8 commits into from
Jan 25, 2024

Conversation

kevin-aude
Copy link
Contributor

  • UPDATE main template sync script to support the option to delete older PRs targeting the same branch if a newer one is created

  • UPDATE README to reflect the change

Close #437

* UPDATE main template sync script to support the option to delete
older PRs targeting the same branch if a newer one is created

* UPDATE README to reflect the change
@AndreasAugustin
Copy link
Owner

@all-contributors please add @kevin-aude for idea and code

Copy link
Contributor

@AndreasAugustin

I've put up a pull request to add @kevin-aude! 🎉

@AndreasAugustin
Copy link
Owner

@all-contributors please add @aairey for review

Copy link
Contributor

@AndreasAugustin

I've put up a pull request to add @aairey! 🎉

* UPDATE main template sync script to support the automatic creation
of labels and skip PR cleanup if no labels are set

* UPDATE README in order to reflect these changes and explain the
reasoning behind it
@AndreasAugustin AndreasAugustin merged commit 0e51714 into AndreasAugustin:main Jan 25, 2024
3 checks passed
@AndreasAugustin
Copy link
Owner

Thanks a lot @kevin-aude for this feature!

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.

[Feat]: Automatically cleanup older PRs that target the same branch
3 participants