erinn does not have git access any more ([diff](https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure?action=diff&version=127)) URL: https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure?version=127