Merge pull request #88 from parmentelat/issue80

documentation clarification
jupyterhub · May 23, 2019 · be2f437 · be2f437
2 parents 9e44264 + 43d0e53
commit be2f437
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/index.md b/docs/index.md
@@ -46,4 +46,4 @@ So we have made the following opinionated decisions.
    to local repository. This allows users to get a 'fresh copy' of a file by
    just deleting the file locally & clicking the link again.
 3. If a file exists locally but is untracked by git (maybe someone uploaded it manually),
-   then rename the file, and pull in remote copy.
+   and the updated commit contains that file, then rename the file, and pull in remote copy.