git: push --force-if-includes as default
stronger protection against accidentally overwriting remote commits by another user, especially in the face of auto-fetching git clients.
This commit is contained in:
parent
ba88e46046
commit
67904896a2
|
@ -44,6 +44,7 @@
|
|||
extraConfig = {
|
||||
credential.helper = "cache";
|
||||
push.default = "simple";
|
||||
push.forceIfIncludes = true; # avoid accidental force overrides when remote is autofetched in background
|
||||
init.defaultBranch = "mainline";
|
||||
diff.tool = "vimdiff";
|
||||
merge.tool = "vimdiff";
|
||||
|
|
Loading…
Reference in a new issue