Git push account

[Jeff Law]

On Sat, 2020-01-25 at 12:39 +0000, Feng Xue OS wrote:
> Which account should I use to push my local patch to git repo of gcc? 
> I have a sourceware account that works for svn, but now it doesn't for git.
> Actually both below commands were tried, but failed.
>   git push ssh://fxue@sourceware.org/gcc/gcc.git ..., 
>   git push ssh://fxue@gcc.gnu.org/gcc/gcc.git ...
It shouldn't matter.  Under the hood sourceware.org and gcc.gnu.org are
the same machine.

jeff