[metrics-team] GitHub + Travis CI for Metrics repositories

[Iain Learmonth]

Hi,

On 11/09/18 23:58, teor wrote:
> We have set up a GitHub team for each group of repositories:
> https://github.com/orgs/torproject/teams
> Each team gets "write" access to their repositories, which lets them
> cancel and restart Travis jobs.

Yay! I was hoping there would already be a system for this. (:

> We can also set up an admin team for metrics, so that you can change
> the settings on your repository. (For example, the Travis settings.> Which metrics team GitHub accounts should be in each team?

This sounds like what we want. The GitHub usernames "irl" and "kloesing"
should be in this team.

> We usually turn off most of the GitHub features. But we can't turn off
> pull requests. We can add the standard header to each repository:
> 
> unofficial git repo -- report bugs/issues/pull requests
> on https://trac.torproject.org/ --
> 
> And link to gitweb.torproject.org <http://gitweb.torproject.org>.

This all sounds like what we want too.

Thanks,
Iain.

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