git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Git allow to unconditionaly remove files on other developer host

From
KKKonstantin Khomoutov <kostix+git@007spb.ru>
Date
Apr 15, 2017, 12:53 UTC
Message-ID
<20170415155324.8b011f5a0e524f8b46a235c9@domain007.com>
In-Reply-To
<c09e2447-a528-9da1-9936-9b0ebfdddd78@kdbg.org>

On Sat, 15 Apr 2017 14:27:00 +0200 Johannes Sixt <j6t@kdbg.org> wrote:

> > That curious, but git allow to unconditionally delete files on
> > other developer host when he do `git pull`
[...]
> Know that Git regards everything mentioned in .gitignore as
> dispensible; IOW, by mentioning a file in .gitignore you actually
> give permission to remove the file if necessary. Git does not have a
> feature to say "ignore this file, but it is precious".
KES, you might also be interested in this recent thread [1].
1. http://public-inbox.org/git/CAPUVn2u0Uos2mT5+4ejj8m0okNK6XwerL6ce2miHfhtuEs-ZnQ@mail.gmail.com/
Previous: Johannes SixtNext: KES
Message 3 of 4 in “Git allow to unconditionaly remove files on other developer host”
  1. KESApr 15, 2017
  2. Johannes SixtApr 15, 2017
  3. Konstantin KhomoutovApr 15, 2017
  4. KESJan 6, 2018

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.