-
-
Notifications
You must be signed in to change notification settings - Fork 5.8k
PR shows merge-able even though it wasn't #6603
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
Comments
I have a similiar problem, we have PR which it says is mergable but if you click merge you get a 500. Link to the PR: https://code.toold.xyz/Hochschule/WebAnClient/pulls/16 I've been able to reproduce the issue on the test instance see the PR here: https://try.gitea.io/supermar10/TestRepo/pulls/1 I haven't tried manually merging it yet. I will try and report back to know if it has the same cause This the log from our instance
|
Seems to be the opposite, but maybe same cause, as #6417 |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions. |
Well, I personally haven't faced this issue again. I'll be closing this for now. For anyone else who stumbles upon this through google, please open a new issue. |
Uh oh!
There was an error while loading. Please reload this page.
[x]
):Description
So I got this very weird bug when trying to merge a PR to one of my repos. It showed me that the PR was merge-able and then threw this error when I tried to merge it (and gave me a 500). When I manually synchronised the branch with develop (the one I'm trying to merge it to), it worked well after that. Not sure how this happened.
In case it matters, I got a "merge-able" PR first, then I made a small change to CHANGELOG.md and then it showed this, instead of telling me that it's no longer mergeable.
Screenshots
Irrelevant
The text was updated successfully, but these errors were encountered: