You can also look at the Tags section of the Git menu and select an individual tag and select 'Push to origin'. This is better for controlling which tags are pushed if there are unintended consequences of pushing all.