diff options
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.md | 3 |
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 |