... | @@ -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
|
... | | ... | |