dev/Compiling.md

@@ -100,10 +100,10 @@ If you have an idea, but you want to show it to someone before committing to it,
 
 Git gives you a lot of toys, but beginners will only need a few:
 
-Make a new branch to play with called 'new'.
+Make a new branch to play with, and name it something (in this example, your username).
 
 ```bash
-git switch -c new
+git switch -c $USER
 ```
 
 You can mess around here, making the changes you want.
@@ -128,6 +128,6 @@ git commit
 Push your changes to gitlab, so everyone sees them.
 
 ```bash
-git push origin new
+git push origin $USER
 ```
 Remember you are pushing your own branch, so replace 'new' with whatever name you gave your branch.