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

2015-05-01 Thread Thomas Ferris Nicolaisen
On Friday, May 1, 2015 at 11:08:43 PM UTC+2, Thomas Ferris Nicolaisen wrote: On Wednesday, April 29, 2015 at 1:53:42 PM UTC+2, Konrád Lőrinczi wrote: Unfortunately push-to-checkout did not result files in workdir after pushing to server, so it was not usable for me.

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

2015-05-01 Thread Thomas Ferris Nicolaisen
On Wednesday, April 29, 2015 at 1:53:42 PM UTC+2, Konrád Lőrinczi wrote: Unfortunately push-to-checkout did not result files in workdir after pushing to server, so it was not usable for me. https://github.com/git/git/commit/0855331941b723b227e93b33955bbe0b45025659 Not sure if I'm missing

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

2015-04-28 Thread Thomas Ferris Nicolaisen
I didn't get into the details of this discussion, but I just wanted to shoot in that there is a new hook since Git 2.3 called push-to-checkout. Perhaps that would be the right thing here. Nice to know about anyhow: https://github.com/git/git/commit/0855331941b723b227e93b33955bbe0b45025659 --

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

2015-04-27 Thread Konstantin Khomoutov
On Fri, 24 Apr 2015 12:54:57 -0700 (PDT) Konrád Lőrinczi klorin...@gmail.com wrote: Well, I noticed, that I had a bug in post-receive hook, so here is the fixed one: #!/bin/sh export GIT_WORK_TREE=/domains/site/test-workdir/ export GIT_DIR=/domains/git/site-bare.git/ cd $GIT_DIR git

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

2015-04-27 Thread Konrád Lőrinczi
I learned a lot about git usage from you, so thanks for your suggestions help! I tried your suggestions, and found no additional error message, which can explain why the working dir is not updated. BUT: you wrote, that the working dir is updated only, when there was at least one change in

[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