not sure if this is the place to add it, but I think a new person should administer tor project github account