From c9df2e23ae3b838486623f51c87da1038623da36 Mon Sep 17 00:00:00 2001 From: Jason Hu Date: Sat, 14 Sep 2024 20:36:08 -0400 Subject: [PATCH] Update README.md (#203) --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/README.md b/README.md index ff2f507d..931ff3e2 100644 --- 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.