home.md

 ## Workflow
 
+If you're new to `git`, then:
+
+1. [compile the repo](dev/Compiling), and
+1. try out the [basic git](dev/Basic-Git) commands.
+
 The workflow broadly goes like this:
 
 - Small changes go into the `dev` branch.