diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-13 16:49:10 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-13 16:49:10 +0100 |
commit | 8b0a7fdfb917147d7263a89cdfa1bc785f62c139 (patch) | |
tree | 7ffb1e59c5857f4290d2628e407f76126483afb5 | |
parent | 939b2a8bc88d9ed45fd2f01727498042ef137e04 (diff) |
[skip ci] add a section for submodule
-rw-r--r-- | for_dev/how_to_use_github_to_contribute_to_gudhi.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/for_dev/how_to_use_github_to_contribute_to_gudhi.md b/for_dev/how_to_use_github_to_contribute_to_gudhi.md index 1ca40386..358825f3 100644 --- a/for_dev/how_to_use_github_to_contribute_to_gudhi.md +++ b/for_dev/how_to_use_github_to_contribute_to_gudhi.md @@ -25,6 +25,13 @@ This creates a directory gudhi-devel, which you are free to move around or renam cd gudhi-devel ``` +## Submodule +An interface to Hera for Wasserstein distanceis available on an external git repository. +Everytime you checkout master or merge from master, afterwards, you will need to run the command: +```bash +git submodule update --init +``` + ## Configuring a remote for a fork ```bash git remote add upstream https://github.com/GUDHI/gudhi-devel.git |