Remove push.default
This commit is contained in:
parent
5c4b9cabc3
commit
d815a436ff
|
@ -1,6 +1,6 @@
|
|||
[user]
|
||||
name = Henrik Lissner
|
||||
email = henrik@lissner.net
|
||||
name = Henrik Lissner
|
||||
email = henrik@lissner.net
|
||||
|
||||
[alias]
|
||||
# common commands
|
||||
|
@ -63,9 +63,6 @@
|
|||
# Include summaries of merged commits in newly created merge commit messages
|
||||
log = true
|
||||
|
||||
[push]
|
||||
default = simple
|
||||
|
||||
[url "git@github.com:"]
|
||||
insteadOf = "gh:"
|
||||
pushInsteadOf = "github:"
|
||||
|
|
Loading…
Reference in a new issue