On Mon, 28 Dec 2020, Eric Gallager wrote: >> (cf. https://gcc.gnu.org/about.html and I'm happy to help). > I haven't made a commit to the wwwdocs repo yet, and the last time I > committed to the main gcc sources repo it was before the transition > to git, and I did it from a different computer, and I'm not sure if I > transferred my ssh keys to my new computer properly; I might need some > help with the setup there... it might be faster to just commit the > changes yourself.
I'd encourage you to give it a try - working on wwwdocs in the git world is quite easy and convenient (and git in general has been a good move for GCC). :-) Reach out if you need help; for now I'll take care of this change. Gerald