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.
> 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
For more options, visit https://groups.google.com/d/optout.