On Thu, Jan 16, 2020 at 11:22:15PM +0000, Joseph Myers wrote:
> Committed. I think the main remaining things that need work in our git
> documentation on the website are:
Shouldn't we move some of the branches from Active Development to Inactive?
I mean, some branches haven't been touched since 2013, others since 2014 or
2011 (e.g. avx{512,512vlbwdq,2}), but various others are similarly inactive.
I guess I should post a patch for the redhat/ branches, because the ones
listed in there are certainly all inactive, maybe it is better to use
a wildcard like it was used for linaro.
Jakub
