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
#59 and #58 caused conflicts that were not captured by CI. Also ref the fix: #62.
We should implement some mechanisms to guarantee this will not happen in the future.
The text was updated successfully, but these errors were encountered:
Perhaps we can run tests after merging to main too.
Sorry, something went wrong.
https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-protected-branches/about-protected-branches#require-status-checks-before-merging
main
"Always suggest updating pull request branches" is now enabled by @arranger1044. This provides a button to update branch if not synced with main.
We consider this issue resolved for now. Follow-up is tracked by #77.
lkct
Successfully merging a pull request may close this issue.
#59 and #58 caused conflicts that were not captured by CI. Also ref the fix: #62.
We should implement some mechanisms to guarantee this will not happen in the future.
The text was updated successfully, but these errors were encountered: