Please delete mistaken tag 7.x-1.x

Somehow a tag by the name "7.x-1.x" got created. Could you please delete it? It causes quite a lot of confusion and git trouble; it may also cause packaging trouble. (Branches only should have the form 7.x-1.x; tags are free-form, but would normally be like 7.x-1.0.)

I think this will do the job:

git push origin :refs/tags/7.x-1.x

While you're at it I imagine you'll want to delete the branch named 7.x

git push origin :7.x

And I recommend emptying out the master branch and leaving it with just a README saying that one should used a named branch.