easier copy-paste

howto/git.md

@@ -300,17 +300,19 @@ To archive a repository, it must first be deactivated by adding a
 The script should display some sort of warning and exit with an error,
 for example:
 
-    #!/bin/sh
+```
+#!/bin/sh
 
-    cat <<EOF
-    This repository is deprecated and should not be used anymore.
+cat <<EOF
+This repository is deprecated and should not be used anymore.
 
-    See this issue for details:
+See this issue for details:
 
-    https://gitlab.torproject.org/tpo/tpa/team/-/issues/9999999
-    EOF
+https://gitlab.torproject.org/tpo/tpa/team/-/issues/9999999
+EOF
 
-    exit 1
+exit 1
+```
 
 Then in Gitolite, the repository must be put "in the Attic", using a
 patch that looks something like this: