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

Pull request conflicted files duplicated #7210

Closed
lunny opened this issue Jun 15, 2019 · 1 comment · Fixed by #7211
Closed

Pull request conflicted files duplicated #7210

lunny opened this issue Jun 15, 2019 · 1 comment · Fixed by #7211
Labels
Milestone

Comments

@lunny
Copy link
Member

lunny commented Jun 15, 2019

image

@lunny lunny added the type/bug label Jun 15, 2019
@lunny lunny changed the title Pull rrequesr conflicted files duplicated Pull request conflicted files duplicated Jun 15, 2019
@zeripath
Copy link
Contributor

Fixed by #7211

@lunny lunny added this to the 1.8.3 milestone Jun 15, 2019
@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.
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants