Set the default branch correctly when creating a mirror/migration #10531

Closed
opened 2025-11-02 09:10:30 -06:00 by GiteaMirror · 0 comments
Owner

Originally created by @lunny on GitHub (Mar 27, 2023).

Looks like currently the mirror repository's default branch is not right, maybe we need to get the default branch name from remote. ref.

git remote show origin | grep 'HEAD branch' | cut -d' ' -f5
Originally created by @lunny on GitHub (Mar 27, 2023). Looks like currently the mirror repository's default branch is not right, maybe we need to get the default branch name from remote. ref. ``` git remote show origin | grep 'HEAD branch' | cut -d' ' -f5 ```
GiteaMirror added the type/proposal label 2025-11-02 09:10:30 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#10531