
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><span></span></div><div><div><div>Hi Iain,</div></div><div><br></div><div>On 11 Sep 2018, at 21:56, Iain Learmonth <<a href="mailto:irl@torproject.org">irl@torproject.org</a>> wrote:<br></div><blockquote type="cite"><div><span></span><br><span>I have been playing with using Travis CI with Metrics codebases. In the</span><br><span>longer term I would like to have automated static code analysis and</span><br><span>coverage reporting set up for all projects but for now I just have the</span><br><span>tests being run for one project.</span><br><span></span><br><span>The proof-of-concept is at <a href="https://travis-ci.org/irl/onionoo">https://travis-ci.org/irl/onionoo</a> which runs</span><br><span>the tests in a Docker container and fetches the dependencies from Debian</span><br><span>packages inside the container.</span><br><span></span><br><span>Could we create the following GitHub repositories:</span><br><span></span><br><span> * torproject/exonerator</span><br><span> * torproject/metrics-base</span><br><span> * torproject/metrics-lib</span><br><span> * torproject/metrics-web</span><br><span> * torproject/onionoo</span><br><span></span><br><span>These would then be sync'd from git.tpo. Once these repositories are</span><br><span>created, can you enable Travis CI for them also, but only for branches</span><br><span>that contain a .travis.yml?</span><br></div></blockquote><br><div>We have set up a GitHub team for each group of repositories:</div><div><a href="https://github.com/orgs/torproject/teams">https://github.com/orgs/torproject/teams</a></div><div>Each team gets "write" access to their repositories, which lets them</div><div>cancel and restart Travis jobs.</div><div><br></div><div>We can also set up an admin team for metrics, so that you can change</div><div>the settings on your repository. (For example, the Travis settings.)</div><div><br></div><div>Which metrics team GitHub accounts should be in each team?</div><div><br></div><div>We usually turn off most of the GitHub features. But we can't turn off</div><div>pull requests. We can add the standard header to each repository:</div><div><br></div><div><span style="background-color: rgba(255, 255, 255, 0);"><span class="text-gray-dark mr-2" itemprop="about" style="box-sizing: border-box; margin-right: 8px !important;">unofficial git repo -- report bugs/issues/pull requests on <a href="https://trac.torproject.org/" rel="nofollow" style="box-sizing: border-box; text-decoration: none;">https://trac.torproject.org/</a> --</span></span></div><div><br></div><div>And link to <a href="http://gitweb.torproject.org">gitweb.torproject.org</a>.</div><div><br></div><div>T</div><div><br></div><div><br></div><div><br></div></div></body></html>