[petsc-dev] bad tags pushed to repo?

[Balay, Satish]

All,

I just noticed:

$ git fetch -p
remote: Enumerating objects: 371, done.
remote: Counting objects: 100% (371/371), done.
remote: Compressing objects: 100% (257/257), done.
remote: Total 371 (delta 163), reused 304 (delta 114)
Receiving objects: 100% (371/371), 984.47 KiB | 1.75 MiB/s, done.
Resolving deltas: 100% (163/163), done.
>From https://gitlab.com/petsc/petsc
 * [new branch]            barry/2019-08-21/add-matfdcoloringsetvalues        -> origin/barry/2019-08-21/add-matfdcoloringsetvalues
 * [new branch]            barry/2019-09-01/rm-default-language-from-dm       -> origin/barry/2019-09-01/rm-default-language-from-dm
 * [new branch]            barry/2019-09-02/add-to-tsfunctiondomainerror-docs -> origin/barry/2019-09-02/add-to-tsfunctiondomainerror-docs
 + b40908d2eb...f9197d2990 hongzh/improve-adjoint-logging                     -> origin/hongzh/improve-adjoint-logging  (forced update)
   757f895a5f..c90ac481d0  jczhang/feature-sf-on-gpu                          -> origin/jczhang/feature-sf-on-gpu
 * [new branch]            knepley/fix-plex-boundary-integral-mem             -> origin/knepley/fix-plex-boundary-integral-mem
   28fa13f02c..58da8867a1  knepley/pylith                                     -> origin/knepley/pylith
   7dfa73b07c..4378ee46b2  mark/fix-cuda-with-gamg-pintocpu                   -> origin/mark/fix-cuda-with-gamg-pintocpu
   8483f9cf10..2e584752ba  master                                             -> origin/master
   6668a928d6..4db982be86  oanam/dmplex_tests                                 -> origin/oanam/dmplex_tests
 * [new branch]            oanam/jacobf/cell-to-ref-mapping                   -> origin/oanam/jacobf/cell-to-ref-mapping
   cee9eb01ca..7267b6aa88  stefanozampini/hypre-cuda                          -> origin/stefanozampini/hypre-cuda
 + 82ecd318c6...bb9be158f8 wence/feature/patch-dense-inverse                  -> origin/wence/feature/patch-dense-inverse  (forced update)
 * [new tag]               WIP                                                -> WIP
 * [new tag]               help                                               -> help
 * [new tag]               list                                               -> list


I'm not sure who pushed these tags - but once pushed  [and pulled by anyone] - they tend live forever :(

- I've deleted them for now from gitlab repo

- attempted to add protection to prevent pushing tags

- if you have pulled these tags in your clone - you might want to do:

git tag --delete WIP help list

Satish