You can't delete tags on remote with mepo

[mathomp4]

As discovered by @sdrabenh, there is no mepo equivalent to the second step in the usual delete tag from remote sequence:

git tag -d tagname
git push --delete origin tagname

The first is:

mepo tag delete tagname

but you can't do the second.

[mathomp4]

@tclune This is a comment on the mepo repo.