diff options
| author |  Daniels Umanovskis <daniels@umanovskis.se> | 2018-10-10 23:37:26 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-10-11 15:56:26 +0900 |
| commit | ac1f98a0dfe3b194f67c41d79ef47af3019dd86a (patch) | |
| tree | 14ced654d915a07abfd028dad9a42ae44768cb45 /Documentation/gui-config.txt | |
| parent | Git 2.19.1 (diff) | |
| download | tgif-ac1f98a0dfe3b194f67c41d79ef47af3019dd86a.tar.xz | |
doc: move git-rev-parse from porcelain to plumbing
git-rev-parse mostly seems like plumbing, and is more usd in
scripts than in regular use. Online it's often mentioned as
a plumbing command. Nonetheless it's listed under porcelain
interrogators in `man git`. It seems appropriate to formally
move git-rev-parse to plumbing interrogators.
Signed-off-by: Daniels Umanovskis <daniels@umanovskis.se>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gui-config.txt')
0 files changed, 0 insertions, 0 deletions