git conversion of GCC wwwdocs repository

[Gerald Pfeifer]

On Wed, 25 Sep 2019, Jonathan Wakely wrote:
> I mean that there's not much value in having my past commits listed as
> coming from various "different" authors:
> 
> Jonathan Wakely <xxx at compsoc.man.ac.uk>
> Jonathan Wakely <xxx at kayari.org>
> Jonathan Wakely <xxx at gmail.com>
> Jonathan Wakely <xxx at gcc.gnu.org>
> Jonathan Wakely <xxx at redhat.com>
> 
> All of those "identities" are the same person, so making all my
> commits use the same Author is arguably correct, even if I was using
> different addresses at different times.

In my case that address really is gerald@pfeifer.com (which I should
keep for the rest of my life).

I noticed today that old commits show up as gerald@gcc.gnu.org, whereas
those from after the conversion show up as gerald@pfeifer.com.  Is there
a way to unify that to gerald@pfeifer.com throughout?

Gerald