summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-01-18 10:50:54 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-01-18 10:50:54 +0100
commitacb4fe9736ebaa444fa654aacfccbb7112a9f3fe (patch)
treebbb9df527b9e6612f8eb7d1f00fcf95dc45875d9 /.github
parent3ddf6b635b2ab2132e20038cb1533182b0517c41 (diff)
Update doc for submodules
Diffstat (limited to '.github')
-rw-r--r--.github/how_to_use_github_to_contribute_to_gudhi.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/how_to_use_github_to_contribute_to_gudhi.md b/.github/how_to_use_github_to_contribute_to_gudhi.md
index 747ca39b..738c1ce9 100644
--- a/.github/how_to_use_github_to_contribute_to_gudhi.md
+++ b/.github/how_to_use_github_to_contribute_to_gudhi.md
@@ -33,6 +33,9 @@ Hera, used for Wasserstein distance, is available on an external git repository.
git submodule update --init
```
+[gudhi-deploy](https://github.com/GUDHI/gudhi-deploy) is used for Continuous Integration python
+requirements and will also be downloaded by the above command.
+
## Configuring a remote for a fork
```bash
git remote add upstream https://github.com/GUDHI/gudhi-devel.git