mirror of
https://github.com/git/git.git
synced 2024-12-18 06:14:59 +08:00
bee866fa6b
If gitk knows that the branch the user tries to create exists, it should ask whether it should overwrite it. This way the user can either decide to choose a new name, or move the head while preserving the reflog. Signed-off-by: Alexander Gavrilov <angavrilov@gmail.com> Signed-off-by: Paul Mackerras <paulus@samba.org> |
||
---|---|---|
po | ||
gitk | ||
Makefile |