[petsc-dev] delete old next branches

[Satish Balay]

Next users,

Currently we have the following old next branch snapshots saved:

$ git branch -r |grep next |grep 2
  origin/next-apr-2016
  origin/next-apr-2018
  origin/next-apr-2018-2
  origin/next-jun-2015
  origin/next-jun-2017
  origin/next-jun-2018
  origin/next-may-2016
  origin/next-nov-2017
  origin/next-oct-2014
  origin/next-sep-2017

I'm inclined to delete all of them (except the latest) - this should
remove some of the bloat we carry in our repo.

Let me know if there is a reason why we should continue to keep them indefinitely.

thanks,
Satish