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 part of svn.html. > * At an appropriate point svn.html and svnwrite.html should be > redirected to git.html and gitwrite.html. Until then they should > probably have warnings at the top that the SVN repository is now > read-only and superseded by the Git repository. svnwrite.html already is gone and the web server redirects. There's only few references to svn.html left in our tree which I expect to have resolved today or Monday, so we should be able to add that redirection and remove the old file beginning of next week¹. Gerald ¹ For the continental-European definition of week. :)
