From 23237f888962032fb6597eb4e36088c6c037fbe5 Mon Sep 17 00:00:00 2001
From: Paul Beuchat <beuchatp@control.ee.ethz.ch>
Date: Tue, 28 Apr 2020 16:54:32 +0200
Subject: [PATCH] Added more detail to .gitignore comment about not tracking
 Config.sh and Crazyflie.db files

---
 .gitignore | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 23ab0e79..0979ed0c 100755
--- a/.gitignore
+++ b/.gitignore
@@ -29,9 +29,13 @@ wiki/latex/*
 # > These files are "skipped" from tracking using
 #   the following syntax:
 #   >> git update-index --skip-worktree <FILENAME>
-# > The "skipped" files are:
+# > The files that should be "skipped" are:
 #   >> dfall_ws/src/dfall_pkg/launch/Config.sh
 #   >> dfall_ws/src/dfall_pkg/param/Crazyflie.db
 # > To return these files to normal tracking use
 #   the following syntax:
 #   >> git update-index --no-skip-worktree <FILENAME>
+# > "Skipping" is a setting local to your copy of the
+#   repository because ".git ignoring" a file already
+#   in the repository does NOT stop changes from being
+#   tracked
-- 
GitLab