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 Enhancements #8

Merged

GrantBirki merged 3 commits into main from pr-enhancements

Mar 15, 2023

Member

GrantBirki commented Mar 15, 2023 •

edited

Loading

PR Enhancements

This pull request adds new Actions inputs to give the end user a bit more control over how their PRs look when using this Action

GrantBirki added 3 commits

March 15, 2023 12:06


          make pr_title an input option

d2869ec


          make the prs in the comment body a true list

e27327b


          add prbody header and footer

5fc9b4b

GrantBirki added the enhancement label

GrantBirki merged commit d96a909 into main

GrantBirki deleted the pr-enhancements branch

March 15, 2023 12:26

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels