diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-12-16 15:14:14 +0100 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-12-16 13:28:20 -0800 |
commit | 0667fcfb6271e9e1ea032a0e3a7d74c9d6a5fa8a (patch) | |
tree | 56b2353219b7d37819c93714618caaa344635904 /Documentation/git-mktag.txt | |
parent | merge: give a bit prettier merge message to "merge branch~$n" (diff) | |
download | tgif-0667fcfb6271e9e1ea032a0e3a7d74c9d6a5fa8a.tar.xz |
add a function to rename sections in the config
Given a config like this:
# A config
[very.interesting.section]
not
The command
$ git repo-config --rename-section very.interesting.section bla.1
will lead to this config:
# A config
[bla "1"]
not
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-mktag.txt')
0 files changed, 0 insertions, 0 deletions