Am 20.10.2016 um 11:34 schrieb teor:
We generally track tor features using the Tor bug tracker: https://trac.torproject.org/projects/tor/newticket Use the Core Tor/Tor component.
We have found that gitlab is useful for making comments on patches. But I am also happy to use GitHub, or any other system you would like.
If you're ok with it, I can set up a branch here on gitlab with your patch: https://gitlab.com/teor/tor/merge_requests
Certainly - we are in the process of setting up gitlab here for student projects, and will therefore use it anyways. Happy to coordinate that way.
best regards, Rene