[Savannah-hackers] username question

[Trevis Rothwell]

Hi!

I just set up a user account on Savannah.  I already have a
gnu.org (fencepost) account, and the Savannah account creation
page wouldn't let me select that username, because, it seems,
it's already a gnu.org username...  mine.  :-)  Is there a way
that I can change my Savannah username to match my fencepost
username?

Thanks!

 -- Trevis Rothwell