revert: config documentation fixes
commitfc0f8bcd64eb0a03a7098f72da9c4008bd48cf11
authorRené Scharfe <l.s.r@web.de>
Sun, 26 Jun 2022 09:29:35 +0000 (26 11:29 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Jun 2022 15:37:36 +0000 (27 08:37 -0700)
tree30abc4966cba1577633166f7c9b4bc1118f56ebd
parent191faaf72648c4ed080a9e38c1782bc1619a6e87
revert: config documentation fixes

43966ab315 (revert: optionally refer to commit in the "reference"
format, 2022-05-26) added the documentation file config/revert.txt.
Actually include it in config.txt.

Make is used with a bare infinitive after the object; remove the "to".

Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/config/revert.txt