From d08f27ecda03b5b05f34e9ae91f62e9aebb5e569 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 14 Mar 2016 16:34:19 +0200 Subject: Kill README-GIT; most likely nobody will read it anyway --- README-GIT | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 README-GIT 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] -- cgit v1.1