Skip to content
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

When Deleting Repository only explicitly close PRs whose base is not this repository (#14823) #14842

Merged
merged 1 commit into from
Mar 2, 2021

Conversation

zeripath
Copy link
Contributor

@zeripath zeripath commented Mar 1, 2021

Backport #14823

When Deleting Repository only explicitly close PRs whose base is not this repository

Fix #14775

Signed-off-by: Andrew Thornton art27@cantab.net

…this repository (go-gitea#14823)

Backport go-gitea#14823

When Deleting Repository only explicitly close PRs whose base is not this repository

Fix go-gitea#14775

Signed-off-by: Andrew Thornton <art27@cantab.net>
@zeripath zeripath added this to the 1.13.3 milestone Mar 1, 2021
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Mar 1, 2021
@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Mar 2, 2021
@lunny lunny merged commit d9d2e8f into go-gitea:release/v1.13 Mar 2, 2021
@go-gitea go-gitea locked and limited conversation to collaborators May 13, 2021
@zeripath zeripath deleted the backport-14823 branch December 29, 2022 19:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. type/bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants