diff options
| author | mathieu <mathieu.carriere3@gmail.com> | 2020-03-13 11:19:34 -0400 |
|---|---|---|
| committer | mathieu <mathieu.carriere3@gmail.com> | 2020-03-13 11:19:34 -0400 |
| commit | e2f60e83aa45aa19a34eb5630f8747fbea2b986c (patch) | |
| tree | d2c2388e567b11f892cb42755afec69aaed1e032 /.github/how_to_use_github_to_contribute_to_gudhi.md | |
| parent | 45b918a17cfa26a0c58d7871b869aa13b0e45019 (diff) | |
| parent | 05b409f60132a73e47f6f58ba80a6343b5bdb1a6 (diff) | |
fixed test
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 | 7 |
1 files changed, 4 insertions, 3 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 6ab05e36..747ca39b 100644 --- a/.github/how_to_use_github_to_contribute_to_gudhi.md +++ b/.github/how_to_use_github_to_contribute_to_gudhi.md @@ -25,10 +25,10 @@ This creates a directory gudhi-devel, which you are free to move around or renam cd gudhi-devel ``` -Everytime you clone the repository, you will have to download the *submodules*. +When you clone the repository, you also need to download the *submodules*. ## Submodules -An interface to Hera for Wasserstein distance is available on an external git repository. To download it: +Hera, used for Wasserstein distance, is available on an external git repository. To download it: ```bash git submodule update --init ``` @@ -60,8 +60,9 @@ This is a command you can run quite regularly. It tells git to check all that happened on github. It is safe, it will not mess with your files. -**Reminder:** Everytime you checkout master or merge from master, afterwards, if the version of one the submodule has changed, or if a submodule was added, you will have to: +**Reminder:** If the version of a submodule has changed, or if a submodule was added, you may need to: ```bash +git submodule sync git submodule update --init ``` |