aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-03-14 16:34:19 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-03-14 16:34:19 +0200
commitd08f27ecda03b5b05f34e9ae91f62e9aebb5e569 (patch)
tree1366bedea506eb7db044a1cf668ce6a88e3687c1
parent82ac6e379c6289985f012c2cafd0180d6f4aa586 (diff)
Kill README-GIT; most likely nobody will read it anyway
-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]