An option to delete both local and remote tag at once

[AndrewSav]

Is your feature request related to a problem? Please describe.
Sometimes you create and push a tag only to discover that your Github Action build/release fails beause of some ci/cd issue. When you fix the issue, you want to delete the old tag and re-apply it on the top of the fix commit. Currently you need to do it twice, once for remote and once for local. You also need to do it in the correct order.

Describe the solution you'd like
Add an new option in the tag delete dialog to delete both local and remote tags in one go.

Describe alternatives you've considered
N/A

Additional context
Similar feature for branches was recently implemented #4108 #3916

[AnvarU]

Hello, @stefanhaller
I was looking through issues to try and resolve them and found this enhancement rather interesting and, maybe, a good place where I can start. And since no one answered here, I would like to give this issue a try and create a pull request.
Do you think this enhancement is worth it? If yes, I will go through the contributing guidelines and create a PR:)

[jesseduffield]

I think such an option makes sense, given that we support it on branches. One difference with tags is that you'll still need to prompt the user for which remote to delete the tag from given that tags don't have a concept of a tracking branch like how branches do.

So feel free to raise a PR for this @AnvarU