howto/git.md

@@ -244,7 +244,7 @@ Changes to most repositories are reported to:
 
 Some repositories are mirrored to https://github.com/torproject
 organization and to the https://gitlab.torproject.org/ server, through
-gitlite hooks.
+gitolite hooks.
 
 This used to be through a `git push --mirror $REMOTE` command, but now
 we do a `git push --force $REMOTE '+refs/*:refs/*'`, because the