push.default = matching (because git won't shut up about it)
This commit is contained in:
parent
db39b0d67e
commit
26699068e0
|
@ -63,6 +63,9 @@
|
||||||
# Include summaries of merged commits in newly created merge commit messages
|
# Include summaries of merged commits in newly created merge commit messages
|
||||||
log = true
|
log = true
|
||||||
|
|
||||||
|
[push]
|
||||||
|
default = matching
|
||||||
|
|
||||||
[url "git@github.com:"]
|
[url "git@github.com:"]
|
||||||
insteadOf = "gh:"
|
insteadOf = "gh:"
|
||||||
pushInsteadOf = "github:"
|
pushInsteadOf = "github:"
|
||||||
|
|
Loading…
Reference in a new issue