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

[teor]

Hi,

I tried to set up just enough so that you can move forward with this task.

> On 12 Sep 2018, at 18:55, Iain Learmonth <irl at torproject.org> wrote:
> 
>> 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.

I set up the metrics-admin team, and invited you both.

If you want people to be able to manage Travis jobs, but *not* admin your
repositories, we can also set up a metrics-users team.

> Could we create the following GitHub repositories:
> 
> * torproject/exonerator
> * torproject/metrics-base
> * torproject/metrics-lib
> * torproject/metrics-web
> * torproject/onionoo

I created these repositories, they are empty.
I added the metrics-admin team as an admin.

You can push branches if you want, they will be overwritten on first sync.

> These would then be sync'd from git.tpo.

Now Hiro or irl (?) can set up the syncing commit hook on the tor project
side. (In the past, we've opened a ticket in the git component in trac).

> Once these repositories are
> created, can you enable Travis CI for them also, but only for branches
> that contain a .travis.yml?

Now you are admins, you can set up Travis in the integrations section
in each repository. If you log into Travis with your GitHub account, you
can change the Travis settings.

>> We usually turn off most of the GitHub features.

As admins, you can turn off wikis etc. for each repository.

>> 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/ --

I added the default description when I created the repositories.

>> And link to gitweb.torproject.org <http://gitweb.torproject.org>.

You can add this link if you want.

T