[git-users] git common options

2015-04-24 Thread Peng Yu
Hi, git-annex has a set of COMMON OPTIONS options (they are applicable to all git-annex commands). Is there something similar for git? https://git-annex.branchable.com/git-annex/ -- Regards, Peng -- You received this message because you are subscribed to the Google Groups Git for human

[git-users] git push does not update remote workdir

2015-04-24 Thread Konrád Lőrinczi
I do execute the following steps to create on DEBIAN Server a 1) git bare repo; 2) a working dir, where the files are copied after local git push; 3) a local clone on Windows, bare server repo is cloned. I executed the following commands: # SERVER: Setup git bare repo on server on Debian

Re: [git-users] git push does not update remote workdir

2015-04-24 Thread Konstantin Khomoutov
On Fri, 24 Apr 2015 11:59:33 -0700 (PDT) Konrád Lőrinczi klorin...@gmail.com wrote: [...] mkdir /domains/git/site-bare.git cd /domains/git/site-bare.git git --git-dir=. --work-tree=/domains/site/test-workdir/. init git config receive.denycurrentbranch ignore cd