howto/gitlab.md

@@ -607,12 +607,14 @@ to get the project ID, and from there, find the project using the API
 above. Here's a Python blob that will generate a hash for every
 project ID up to 2000:
 
-    import hashlib
+```
+import hashlib
 
-    for i in range(2000):
-        h = hashlib.sha256()
-        h.update(str(i).encode('ascii'))
-        print(i, h.hexdigest())
+for i in range(2000):
+    h = hashlib.sha256()
+    h.update(str(i).encode('ascii'))
+    print(i, h.hexdigest())
+```
 
 ## Connect to the PostgreSQL server