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

Details about gitolite integration

master
spalax 2014-05-09 16:33:12 -04:00 committed by admin
parent fc24df96c1
commit 54d47eb26a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/tips/Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn
View File

@ -150,6 +150,6 @@ the IkiWiki machine, and here is the deadlock. Explanations of the command:
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 ...`
`[ x"$GL_USER" = x"`*`gitolite-user`*`" ] || wget ...` where *gitolite-user* is the name of the public key registered through gitolite.
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).
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).