tech_notes

commit e15b9d8ffece825cfd813d9d8a3cdc41b59bd791
parent cee6bf69b62710455ad891cb877e3031c3a5f507
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).