-
-
Notifications
You must be signed in to change notification settings - Fork 645
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: comment when auto merge/hardreset fails #231
Comments
One reason PRs fail to be merged automatically is due to changes in |
😀 |
@wei Assign it to me. |
oh and now (9hrs after opening) the PR merges. maybe I spoke too soon. is that a normal time frame? |
Hiiii @ddelange thanks for using Pull. Due to the large amount of repos using pull and the unpredictability timeframe for GitHub to mark a PR as mergeable, this timeframe is not abnormal. This issue we are on is for a new feature unrelated to your inquiry. Please open a new issue or comment on a more relevant issue if you have further questions! |
Currently GitHub returns an error when Pull tries to merge into a protected branch. The PR will just stay open ready to be manually merged.
An improvement will be commenting on the PR when this happens.
The text was updated successfully, but these errors were encountered: