[petsc-dev] delete old next branches

[Satish Balay]

deleted now.

Satish

On Thu, 28 Jun 2018, Satish Balay wrote:

> 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
> 
> 
>