We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Thanks for the awesome action! It deserves many more stars... We've just deployed over at https://github.com/PRQL/prql/blob/main/.github/workflows/pull-request-target.yaml
One thing that would be nice would be an ability to auto-merge PRs. This is possible with the gh CLI (i.e. in my git configs I have:
gh
pub-merge-gh = !git publish && gh pr create --fill && gh pr merge --auto --squash --delete-branch
)
But no huge problem without it... Thanks
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Thanks for the awesome action! It deserves many more stars... We've just deployed over at https://github.com/PRQL/prql/blob/main/.github/workflows/pull-request-target.yaml
One thing that would be nice would be an ability to auto-merge PRs. This is possible with the
gh
CLI (i.e. in my git configs I have:)
But no huge problem without it... Thanks
The text was updated successfully, but these errors were encountered: