aboutsummaryrefslogtreecommitdiff
path: root/README-GIT
diff options
context:
space:
mode:
Diffstat (limited to 'README-GIT')
-rw-r--r--README-GIT19
1 files changed, 0 insertions, 19 deletions
diff --git a/README-GIT b/README-GIT
deleted file mode 100644
index c6808b7..0000000
--- a/README-GIT
+++ /dev/null
@@ -1,19 +0,0 @@
-This repository uses git submodules, so watch out! Before working with this
-repository, make sure you do:
-
- git config --global fetch.recurseSubmodules on-demand
- git config --global status.submoduleSummary true
- git config --global diff.submodule log
-
-To clone this repository, use --recursive:
-
- git clone --recursive ...
-
-To pull, you *must* run two commands:
-
- git pull
- git submodule update --init --recursive
-
-To update submodules to the latest master (remember to commit afterwards):
-
- git submodule update --remote [submodule]