diff options
| author | Unknwon <u@gogs.io> | 2017-11-16 00:03:35 -0500 |
|---|---|---|
| committer | Unknwon <u@gogs.io> | 2017-11-16 00:03:35 -0500 |
| commit | 181dc5d75e0a8844a095198b095dc56e609351cf (patch) | |
| tree | f5f296d6e1a09c18a2fe7478b3dd1c57dfed4901 /gogs.go | |
| parent | ae4c4708ada4f470455906d632cbcfcf5c9a5c2e (diff) | |
editor: remove out of sync branch before checkout again
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.
Diffstat (limited to 'gogs.go')
0 files changed, 0 insertions, 0 deletions