-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Handle deleted base branch in PR #10618
Handle deleted base branch in PR #10618
Conversation
Signed-off-by: Andrew Thornton <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This seems to work OK on all the pages I could test. I didn't test deleting the ref from refs/pulls/#
and gc/prunning because I don't think that case it supposed to be covered by this PR. 👍
@guillep2k deleting the internal ref is most definitely not covered by this PR and probably should be an internal server error - it should not be deleted unless you actually delete the PR. |
Codecov Report
@@ Coverage Diff @@
## master #10618 +/- ##
==========================================
+ Coverage 43.69% 43.69% +<.01%
==========================================
Files 587 587
Lines 82174 82183 +9
==========================================
+ Hits 35905 35910 +5
- Misses 41819 41824 +5
+ Partials 4450 4449 -1
Continue to review full report at Codecov.
|
Signed-off-by: Andrew Thornton <[email protected]>
Signed-off-by: Andrew Thornton <[email protected]>
If you delete the base branch of a PR, although the PR will be closed if you view the PR you will be presented with a 500. This PR will handle this case.
See for an example PR https://try.gitea.io/arandomer/anudderrepo/pulls/1
Signed-off-by: Andrew Thornton [email protected]