mirror of https://github.com/gogits/gogs.git
Browse Source
If a branch was deleted from server, sometimes it is not reflected on local copy. Therefore, we need to remove the branch with same name if it is out of sync and then checkout to correct version.pull/4762/merge
Unknwon
7 years ago
2 changed files with 31 additions and 1 deletions
Loading…
Reference in new issue