Update README.md (#203)

Beluga-lang · Sep 15, 2024 · c9df2e2 · c9df2e2
1 parent 9224192
commit c9df2e2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -92,3 +92,10 @@ cd theories
 make
 ```
 
+## Branches
+
+The Github repo includes the following special branches:
+
+1. `main`: the main branch that is used to generate this homepage and Coqdoc;
+2. `ext/*`: branches in this pattern are variations of `main` that implements various extensions. They are often used to implement extensions that require non-trivial workload and are aimed to be merged to `main` eventually;
+3. `gh-pages`: the branch to host the homepage.