[(diff)](https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure/git.torproject.org?action=diff&version=3) URL: https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure/git.torproject.org?version=3