Please delete "ticket26223" branch from official tor.git repository.

I added it by accident :(