Add cloning instructions

wolverian · Dec 6, 2021 · 2efead2 · 2efead2
1 parent 5579850
commit 2efead2
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -10,6 +10,15 @@ or
 - Pandoc
 - Agda
 
+## Cloning the repository
+
+1. [ ] Click on "Use this template" on GitHub.
+2. [ ] Create a new Cachix binary cache for your repository by going to https://app.cachix.org → "Create a binary cache".
+       Name it after your repository.
+       On the cache page, go to "Settings → Auth Tokens" and create a new write token.
+3. [ ] On the GitHub repository page, go to "Settings → Secrets → New repository secret" and add `CACHIX_AUTH_TOKEN`.
+       Set its value to the secret you created in the previous step.
+
 ## Compile HTML
 
 Using Nix: