
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

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, On 19/10/15 08:50, kwadronaut wrote:
FYI add a relevant ticket: https://trac.torproject.org/projects/tor/ticket/17524 ~Vasilis -----BEGIN PGP SIGNATURE----- iQIcBAEBCgAGBQJWORunAAoJEF+/cLHRJgFiVcsP/j3gFeNXQfamcA6TXYsKV8X5 LaB54VXpvXTiCPMhY82vbk6bNk2dLE7txp3akkiBSZuGsfguRFVE3Pp/DuqdfPMa E3PvlobfEbytARC8DRbQAShSSjh9PGrdCN2ms60W/cehbFI/Tlf/ScCTs4hTNJ8k pvgeOPwAe8g+8hBMzQwCvwHigZsgXNsMBQzU/KKC2AuJoLQi2o7cwurwclxfg3k0 4yePxmM3dr0nGXSyZWsXFPQWXtTvP09s5XimxnFyJssO5KrXT3ihJUXBKYS1HnAQ MKTyLmgGuzTjKsY1bkFUX4gkbBn2yi8N3cdhVpuvY0OcEHj/CfYWSLGgA/fQ746E uAdZdCFTGVmrFNFOzDQCUxb6pDqA27aNw0cTvHoUpy7tlpq2Yyb6l2p8qI+5PIDD e5mlS71/PjX5AYhG8jd3lhGGuI2AefnCogYCyA5h/rfpM45m1gAo2RCIZau+yvcb 8VWFno72J6vxG+a5DCjZGr5GwIrZhzB2HV4xpBnFeVwdd2c6SalEi3j4KP0CS13Q ImTQh7MDzvsul+Q+fgCKLOkl1E1ANLMhnqGIVOHzgzbsxGQgQVrm+sIDHg+H/7RP prko4OBtvtsHRaJ1eK/M3vsyBZOhxmwpb/+tTm5tkoVtefzBtxx95DS4GyeuOaPd h1GxAzoaYLgtkfNmhaQx =rEdk -----END PGP SIGNATURE-----
participants (3)
-
Arturo Filastò
-
kwadronaut
-
Vasilis