(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
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
2 matches
Mail list logo