On 02.11.18 18:12, j...@tcs.ifi.lmu.de wrote:
> The file is heavily edited, but ignored by commits as expected.

Last time I checked (which was half a minute ago), files in .gitignore
are only ignored for the purpose of not adding them to the archive.

Modifying such a file, editing it, and then "git commit -a"ing the
archive will, however, check in your changes. Thus your scenario does
not happen.

$  git init
$  echo a >a
$  git add a

$  git commit -m Initial
$  echo b >b
$  echo b >.gitignore
$  git add -f .gitignore b
$  git commit -m NoB
$  echo bla >b
$  git commit -a -m foo

$ git show

commit 1b60a5792732e45c685bcced51b6c754d9833530 (HEAD -> master)
Author: Matthias Urlichs <matth...@urlichs.de>
Date:   Fri Nov 2 20:10:43 2018 +0100

    foo

diff --git a/b b/b
index 6178079..a7f8d9e 100644
--- a/b
+++ b/b
@@ -1 +1 @@
-b
+bla

$

-- 
-- Matthias Urlichs


-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to