Re: Copy list of development branches from svn.html into git.html

2020-01-19 Thread Gerald Pfeifer
On Thu, 16 Jan 2020, Joseph Myers wrote: > This patch makes a start on making the branch information from > svn.html available in git.html. Thank you, Joseph. That allowed for https://gcc.gnu.org/ml/gcc-patches/2020-01/msg01089.html which was, from what I can tell, the last reference to that

Re: Copy list of development branches from svn.html into git.html

2020-01-16 Thread Joseph Myers
On Fri, 17 Jan 2020, Jakub Jelinek wrote: > On Thu, Jan 16, 2020 at 11:22:15PM +, 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 Inacti

Re: Copy list of development branches from svn.html into git.html

2020-01-16 Thread Jakub Jelinek
On Thu, Jan 16, 2020 at 11:22:15PM +, 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