[metrics-team] [Survey] Does your team uses github.com?

[Karsten Loesing]

On 2018-07-05 17:26, Iain Learmonth wrote:
> Hi Isabela,

Hi!

> We discussed this at the Metrics team meeting today.
> 
> On 04/07/18 22:34, isabela wrote:
>> If you are not using it yet, and could see a reason to start using it,
>> please let us know:
> 
> We would like to have mirrors of our repositories on GitHub.
> 
> https://gitweb.torproject.org/collector.git/
> https://gitweb.torproject.org/metrics-base.git/
> https://gitweb.torproject.org/metrics-lib.git/
> https://gitweb.torproject.org/metrics-web.git/
> https://gitweb.torproject.org/onionoo.git/

Please also add this one:

https://gitweb.torproject.org/exonerator.git/

(To your defense, I would probably have forgotten about metrics-base...)

>> What usernames your team members has on github?
> 
> My username is "irl" and Karsten is "kloesing". It would maybe be useful
> to create a "Metrics Team" group.
> 
> We would not need push access to the repositories as we would still be
> pushing to git-rw.tpo. Probably we only need permissions to moderate
> PRs. Issues should be disabled, along with other features that we have
> elsewhere already.
> 
> Thanks,
> Iain.

+1 on everything else. Thanks!

All the best,
Karsten

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 528 bytes
Desc: OpenPGP digital signature
URL: <http://lists.torproject.org/pipermail/metrics-team/attachments/20180705/54055c79/attachment.sig>