summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0ad0a61)
raw | patch | inline | side by side (parent: 0ad0a61)
author | David Aguilar <davvid@gmail.com> | |
Sun, 18 Jul 2010 01:46:48 +0000 (18:46 -0700) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Mon, 19 Jul 2010 16:16:09 +0000 (09:16 -0700) |
'git mergetool' creates '*.orig' backup files in its
default configuration. Mention this in its documentation.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
default configuration. Mention this in its documentation.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-mergetool.txt | patch | blob | history |
index 55735faf7b58dfa56f7a7b93b5e0d7f19b98a808..e4ed0161467866f731c89eb48e64453051c64281 100644 (file)
This is the default behaviour; the option is provided to
override any configuration settings.
+TEMPORARY FILES
+---------------
+`git mergetool` creates `*.orig` backup files while resolving merges.
+These are safe to remove once a file has been merged and its
+`git mergetool` session has completed.
+
+Setting the `mergetool.keepBackup` configuration variable to `false`
+causes `git mergetool` to automatically remove the backup as files
+are successfully merged.
+
Author
------
Written by Theodore Y Ts'o <tytso@mit.edu>