typo authored by anarcat's avatar anarcat
...@@ -244,7 +244,7 @@ Changes to most repositories are reported to: ...@@ -244,7 +244,7 @@ Changes to most repositories are reported to:
Some repositories are mirrored to https://github.com/torproject Some repositories are mirrored to https://github.com/torproject
organization and to the https://gitlab.torproject.org/ server, through 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 This used to be through a `git push --mirror $REMOTE` command, but now
we do a `git push --force $REMOTE '+refs/*:refs/*'`, because the we do a `git push --force $REMOTE '+refs/*:refs/*'`, because the
... ...
......