Changed arrows between git repo and tor developers