As far as I can tell from the discussion, people are happy with the version of the conversion using @gcc.gnu.org addresses. When shall we (do a final conversion if there are any commits postdating that one and) switch over to it as the live repository, set up hooks and update documentation of editing the website?
-- Joseph S. Myers jos...@codesourcery.com
