urosm
/
ikiwiki
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

on ikiwiki with gitolite

master
http://christian.amsuess.com/chrysn 2014-01-30 11:24:34 -04:00 committed by admin
parent b3c99d9368
commit d33a651051
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
doc/tips/Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn
View File

@ -149,3 +149,8 @@ the IkiWiki machine, and here is the deadlock. Explanations of the command:
- *Using [[gitolite|https://github.com/sitaramc/gitolite]] to manage
repositories on the git machine* Simply replace the manipulations of git on
the git machine by the corresponding manipulations using gitolite.
* With gitolite, you can use this line in a `post-update` hook:
`[ x"$GL_USER" = x"`*`gitolite-user`*`" ] || wget ...`
thus, you filter out precisely the events that originate from the server-to-be-pinged, no matter what the commit id says. (For example, if you push commits you created on a local CGI ikiwiki, they'd be called '@web' as well).