Re: [ooni-dev] Sync github - torproject

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

[1] https://github.com/apache/parquet-mr

Pull requests are always welcome :)

~ Arturo