Hi,
Pabs made me aware of the github repository being quite ahead of the one on git.torproject.org. Having 'Source code[link] is available (GitHub mirror[link]).' is confusing, because I didn't expect such a discrepancy.
3 possible solutions to avoid this confusion: - have some little automatic bot pushing changes from git.torproject to github (post-hook for example) - write a little mail to Github, to get the same treatment as, for example, most Apache[1] projects so they pull (twice a day) changes from git.torproject to github - change the wording, and make the one on git.torproject the 'mirror which reflects the state of a foregone era'
Ciao,
kwadro
On Oct 19, 2015, at 08:50, kwadronaut kwadronaut@autistici.org wrote:
Hi,
Pabs made me aware of the github repository being quite ahead of the one on git.torproject.org. Having 'Source code[link] is available (GitHub mirror[link]).' is confusing, because I didn't expect such a discrepancy.
3 possible solutions to avoid this confusion:
- have some little automatic bot pushing changes from git.torproject to
github (post-hook for example)
- write a little mail to Github, to get the same treatment as, for
example, most Apache[1] projects so they pull (twice a day) changes from git.torproject to github
- change the wording, and make the one on git.torproject the 'mirror
which reflects the state of a foregone era'
Ciao,
kwadro
Pull requests are always welcome :)
~ Arturo
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
Hi,
On 19/10/15 08:50, kwadronaut wrote:
Pabs made me aware of the github repository being quite ahead of the one on git.torproject.org. Having 'Source code[link] is available (GitHub mirror[link]).' is confusing, because I didn't expect such a discrepancy.
FYI add a relevant ticket: https://trac.torproject.org/projects/tor/ticket/17524
~Vasilis
-
Arturo Filastò -
kwadronaut -
Vasilis