[petsc-dev] please delete these tags from your repo

[Satish Balay]

PETSc developers [with push access],

I've deleted the following tags from the repo:

$ git push -u origin :archer-nonaffine  :pre-tsfc
To bitbucket.org:petsc/petsc.git
 - [deleted]         archer-nonaffine
 - [deleted]         pre-tsfc

However - if you do a 'git push --tags' - they will get created again.
Please delete them from your local clones.

git tag -d archer-nonaffine pre-tsfc

thanks,
Satish