feat: explain how to update eo subtree

objectionary · Feb 5, 2024 · cb83f50 · cb83f50
1 parent cfb7705
commit cb83f50
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -198,6 +198,18 @@ Run all tests
 stack test
 ```
 
+### eo
+
+We have a [git subtree](https://www.atlassian.com/git/tutorials/git-subtree) for the [eo](https://github.com/objectionary/eo) repository.
+
+To update it, run:
+
+```sh
+git remote add -f eo https://github.com/objectionary/eo
+git fetch eo master
+git subtree pull --prefix eo eo master --squash
+```
+
 ## Contribute
 
 ### pre-commit