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.

Sign up for GitHub

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

Jump to bottom

Fix deleted branch isn't removed when push the branch again (#9516) #9524

Merged
merged 1 commit into from
Dec 28, 2019
Merged

Fix deleted branch isn't removed when push the branch again (#9516) #9524

merged 1 commit into from
Dec 28, 2019

Conversation

lunny
Copy link
Member

@lunny lunny commented Dec 28, 2019

back port from #9516

@lunny lunny added the type/bug label Dec 28, 2019
@lunny lunny added this to the 1.10.2 milestone Dec 28, 2019
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Dec 28, 2019
@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 Dec 28, 2019
@lunny lunny merged commit 9409ac9 into go-gitea:release/v1.10 Dec 28, 2019
@lunny lunny deleted the lunny/fix_push_branch_bug2 branch December 28, 2019 04:41
@6543 6543 mentioned this pull request Jan 2, 2020
Closed
@go-gitea go-gitea locked and limited conversation to collaborators Nov 24, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@6543 6543 6543 approved these changes

@zeripath zeripath zeripath approved these changes

Assignees
No one assigned
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. type/bug
Projects
None yet
Milestone
1.10.2
Development

Successfully merging this pull request may close these issues.
4 participants
@lunny @zeripath @6543 @GiteaBot