diff options
| author | Clar Fon <15850505+clarfonthey@users.noreply.github.com> | 2022-10-12 12:17:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-12 12:17:55 -0400 |
| commit | 42b803554cb9f96494893e27925bf5bba980b68f (patch) | |
| tree | 9bceb909b0774100b89d556caad6a3cf6717bb47 /web_src | |
| parent | 444e9df4650daffc72727e1290a8264d78023b92 (diff) | |
| download | gitea-42b803554cb9f96494893e27925bf5bba980b68f.tar.gz gitea-42b803554cb9f96494893e27925bf5bba980b68f.zip | |
Add HEAD fix to gitea doctor (#21352)
Due to a bug in presumably an older version of Gitea, multiple of my
repositories still have their HEADs pointing to a `master` branch while
the default branch on the UI is listed as `main`. This adds a `gitea
doctor` command that will fix all of the HEAD references for repos when
they're not synchronized with the default branch in the DB.
This will help with cloning to ensure that git automatically checks out
the right branch, instead of a nonexistent one.
Note: I'm not sure if I actually need to do more other than add a file
here. Will try testing this out on my server soon.
Co-authored-by: zeripath <art27@cantab.net>
Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
Diffstat (limited to 'web_src')
0 files changed, 0 insertions, 0 deletions