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
