Re: New redirects for git

2020-01-19 Thread Gerald Pfeifer
On Mon, 13 Jan 2020, Jakub Jelinek wrote: > Thanks to everybody who have helped with this. Thank you for putting this in place, Jakub! Gerald

New redirects for git

2020-01-13 Thread Jakub Jelinek
Hi! Due to the svn to git migration, we now have several new redirects. https://gcc.gnu.org/r280156 style URLs still point to the svn web (might change in the future) https://gcc.gnu.org/g:e19db6a2f7aa20b708ffa112767efbd378c94416 style URLs redirect to gitweb for the specified git