no pull requests on github -- unofficial git repo -- report bugs/issues/patches on https://trac.torproject.org/ -- discuss proposals on tor-dev@lists - View it on GitHub