]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blobdiff - doc/rcs/details.mdwn
Merge branch 'master' into pub/master
[git.ikiwiki.info.git] / doc / rcs / details.mdwn
index e62f3ef49fb2127c78e32686d97e2a267441d904..089221caba26027cb013ea69fd4650cb0ae8c44b 100644 (file)
@@ -280,6 +280,9 @@ Here is a how a commit from a remote repository works:
 
 * git-commit in the remote repository
 * git-push, pushes the commit to the master repo on the server
+* (Optionally, the master repo's pre-receive hook runs, and checks that the
+  update only modifies files that the pushing user is allowed to update. 
+  If not, it aborts the receive.)
 * the master repo's post-update hook notices this update, and runs ikiwiki
 * ikiwiki notices the modifies page source, and compiles it