[BUG] git-init does not respect existing separate-git-dir

It should not be necessary to re-specify --separate-git-dir when re-initialising a git repo. $ git init --separate-git-dir ../repo Initialized empty Git repository in /home/infinity0/tmp/repo/ $ git init /home/infinity0/tmp/wtree/.git/refs: Not a directory 1 One big motivation is so git init

push.default=upstream doesn't play nicely with remote.pushdefault/branch.*.pushremote

(Please CC me as I am not subscribed.) $ git config -l | grep '^branch.master\|^push.' push.default=upstream branch.master.remote=upstream branch.master.merge=refs/heads/master branch.master.pushremote=origin $ git branch * master $ git push fatal: You are pushing to remote 'origin', which is