Re: [Math] Repository cleanup

2021-08-07 Thread Alex Herbert
On Sat, 7 Aug 2021 at 15:48, Gilles Sadowski wrote: > Hi. > > There are many rotten branches in the repository.[1] > Most are outdated (having been merged to "master" or > having been used as a sandbox, a long time ago). > > I'd only keep those that > * were used for a release (obviously), or

[Math] Repository cleanup

2021-08-07 Thread Gilles Sadowski
Hi. There are many rotten branches in the repository.[1] Most are outdated (having been merged to "master" or having been used as a sandbox, a long time ago). I'd only keep those that * were used for a release (obviously), or * refer to issues not yet marked as resolved (e.g.