user-manual.txt: render ASCII art correctly under Asciidoctor

This commit is similar to 379805051d ("Documentation: render revisions correctly under Asciidoctor", 2018-05-06) and is a no-op with AsciiDoc. When creating a literal block from an indented block without any sort of delimiters, Asciidoctor strips off all leading whitespace, resulting in a misrendered ASCII drawing. Use an explicit literal block to indicate to Asciidoctor that we want to keep the leading whitespace. Drop the common indentation for all lines to make this a no-op with AsciiDoc. Signed-off-by: Martin Ågren <martin.agren@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Martin Ågren committed Sep 22, 2019 at 13:57 UTC c4d2f6143a14a8ca3da307e10325ff9c27902db2
1 file changed +11 -9
Documentation/user-manual.txt
+11 -9
@@ -1831,15 +1831,17 @@ pull from that repository. So the flow of changes, in a situation
1831 where there is one other developer with a public repository, looks
1832 like this:
1833
1834 - you push
1835 - your personal repo ------------------> your public repo
1836 - ^ |
1837 - | |
1838 - | you pull | they pull
1839 - | |
1840 - | |
1841 - | they push V
1842 - their public repo <------------------- their repo
1834 +....
1835 + you push
1836 +your personal repo ------------------> your public repo
1837 + ^ |
1838 + | |
1839 + | you pull | they pull
1840 + | |
1841 + | |
1842 + | they push V
1843 +their public repo <------------------- their repo
1844 +....
1845
1846 We explain how to do this in the following sections.
1847