summaryrefslogtreecommitdiff
path: root/.github/how_to_use_github_to_contribute_to_gudhi.md
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2022-01-14 09:15:35 +0100
committerGard Spreemann <gspr@nonempty.org>2022-01-14 09:15:35 +0100
commitdbc404626955aee632fa47ee7a4d4c3add7d6188 (patch)
treeb7acfc83c9ba316216a93e9a7d14c68c11d92804 /.github/how_to_use_github_to_contribute_to_gudhi.md
parent2c221bfcf8effff9b010de8b2e13a22f6bc15201 (diff)
parent17c3c6a07cdb1b4d4f735f3bc996af30e216dfbe (diff)
Merge tag 'tags/gudhi-release-3.5.0' into dfsg/latest
Diffstat (limited to '.github/how_to_use_github_to_contribute_to_gudhi.md')
-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