Re: [petsc-dev] delete old next branches

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 >

[petsc-dev] delete old next branches

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