tree 14ced654d915a07abfd028dad9a42ae44768cb45
parent cae598d9980661a978e2df4fb338518f7bf09572
author Daniels Umanovskis <daniels@umanovskis.se> 1539207446 +0200
committer Junio C Hamano <gitster@pobox.com> 1539240986 +0900

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>