diff options
| -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 |