diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-08-17 11:19:20 +0200 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2005-08-17 12:13:12 -0700 |
| commit | fbfd60d65142848299513dfa6b477d0f5299cc15 (patch) | |
| tree | ede2321852443a61f5383a350475e088e4d8fe26 /git-push-script | |
| parent | [PATCH] When copying or renaming, keep the mode, please (diff) | |
| download | tgif-fbfd60d65142848299513dfa6b477d0f5299cc15.tar.xz | |
[PATCH] Also handle CVS branches with a '/' in their name
I track a CVS project which has a branch with a '/' in the branch name.
Since git wants the branch name to be a file name at the same time,
substitute that character to a '-' by default (override with "-s <subst>").
This should work well, despite the fact that a division and a difference
are completely different :-)
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-push-script')
0 files changed, 0 insertions, 0 deletions