tech_notes

commit eca45b55441aabf240e6a0d085b1d4c5dd0296b9
parent 775c6db71743fe884ac2b84e88a66cf64073187e
Author: Julian Piribauer <julian.piribauer@gmail.com>
Date:   Thu, 19 Feb 2026 21:53:55 +0100

Changing user

Diffstat:
M
stagit.md
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/stagit.md b/stagit.md
@@ -98,7 +98,7 @@ Finally, we give all users reading rights to all subfolders of the repo folders:
 New repos can now be initiated on the server with
 
 ```console
-# git init --bare my_repo.git
+$ git init --bare my_repo.git
 ```
 
 The website and the repo endpoint will be updated upon the first push (and future ones).