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.
Description: OpenPGP digital signature