Cancel mirror repo and delete the repo, then mirror it again will get error: The repository name is already used. #12347

Open
opened 2025-11-02 10:06:29 -06:00 by GiteaMirror · 1 comment
Owner

Originally created by @yp05327 on GitHub (Jan 18, 2024).

Description

  1. Cancel mirror repo
  2. Delete the repo in the mirror failed page
  3. Mirror it again with same repo name

image
image

Gitea Version

latest

Can you reproduce the bug on the Gitea demo site?

No

Log Gist

No response

Screenshots

No response

Git Version

No response

Operating System

No response

How are you running Gitea?

build

Database

None

Originally created by @yp05327 on GitHub (Jan 18, 2024). ### Description 1. Cancel mirror repo 2. Delete the repo in the mirror failed page 3. Mirror it again with same repo name 4. ![image](https://github.com/go-gitea/gitea/assets/18380374/0893dff8-f208-4f9a-805f-cf6a759b854c) ![image](https://github.com/go-gitea/gitea/assets/18380374/99b509d7-78b5-40f1-a431-839cc7ae9e57) ### Gitea Version latest ### Can you reproduce the bug on the Gitea demo site? No ### Log Gist _No response_ ### Screenshots _No response_ ### Git Version _No response_ ### Operating System _No response_ ### How are you running Gitea? build ### Database None
GiteaMirror added the type/bug label 2025-11-02 10:06:29 -06:00
Author
Owner

@yp05327 commented on GitHub (Jan 18, 2024):

image
repository has not been deleted.

@yp05327 commented on GitHub (Jan 18, 2024): ![image](https://github.com/go-gitea/gitea/assets/18380374/1744f45c-5b2d-4205-9d42-6354de6b123e) repository has not been deleted.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#12347