[ Suggestion ] When yanking a version, remind the user to delete the tag from git

[hershel-theodore-layton]

Alternative titles for users who are having the same issue I am having:

• My deleted versions come back when I push to Github
• Yanked version keeps coming back
• How to permanently delete a package version?

Problem statement

I have pushed a broken v0.6.0 in the past.
I used the ❌ to yank the version on Packagist.
The version comes back with auto-update
when pushing a new commit to the repo.
I should have deleted the git tag to prevent this.

Suggestion

When a version has been deleted on Packagist,
remind the user via a toast or another UI primitive
to also remove the tag from git.

Yank UI

[Seldaek]

I think we eventually will rather want to have those versions blocked and make it very clear when deleting that this version cannot be recreated, so I rather not work on this now to change it again later, but just so you know..