[tor-commits] [tor/master] Do not publish the "git-XXX" tag in server descriptors