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 /http-backend.c | |
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 'http-backend.c')
0 files changed, 0 insertions, 0 deletions