[tor-commits] [tor-launcher/master] Tagging is not enough, we need version bumps as well