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
Auto merge will failed by some unexpected errors like the following which is caused by bot do not have permission accessing the head repository.
PUT https://api.github.com/repos/.../.../pulls/.../update-branch: 422 user doesn't have permission to update head repository
By now, when meeting this situation, the bot will stop this job and do not comment with any message. It's better to comment with the error message.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Auto merge will failed by some unexpected errors like the following which is caused by bot do not have permission accessing the head repository.
By now, when meeting this situation, the bot will stop this job and do not comment with any message. It's better to comment with the error message.
The text was updated successfully, but these errors were encountered: