[tor-dev] git-update: transparently torified git pulls