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.
>>> <https://github.com/git/git/commit/0855331941b723b227e93b33955bbe0b45025659>
> Not sure if I'm missing out on something obvious here, but 
> push-to-checkout works as expected when trying it out:

Correction: the push-to-checkout hook only works since Git 2.4.

Git 2.3 introduced this updateInstead configuration, which is what I showed 
off in my example. The push-to-checkout hook is more a fix for those cases 
where the target repository gets manipulated between pushes or something 
like that. Depending on your use-case you may not need that.

You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to