[oe] monotone/git (was hello...)

[Michael Krelin]

>> \>> Wait, how do you execute a hook when pushing via webdav?
>>> post-update is executed in the remote repository when pushing to it.
>>> In fact, the default post-update script in a new git init'd repository
>>> is just a script that calls git-update-server-info, so all you have to
>>> do is chmod +x foo.git/hooks/post-update and call it a day.  It works
>>> just fine.
>> *Who* executes post-update script when you push to remote repository via
>> webdav?
> 
> Sorry, my mistake on the mechanisms.  The hook is only used,
> obviously, when pushing over ssh, since you can't run a script
> remotely over http.  It's just that git-http-push is smart enough to
> update the remote info/* if the files already exist (run
> git-update-server-info on the remote side once).

Good for the record, after we sorted it out on IRC. So, yes, it's 
theoretically possible, we'd all want to avoid it and I have no idea 
about its performance, which would probably need more elaborate 
research. I doubt, though, that onyone wants to conduct such a research 
at the moment ;-)

Love,
H