As pointed out by Andreas, I used wrong git repo URL. Now it works.

Thanks,
Feng

________________________________________
From: Jeff Law <l...@redhat.com>
Sent: Sunday, January 26, 2020 12:18 AM
To: Feng Xue OS; gcc@gcc.gnu.org
Subject: Re: Git push account

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://f...@sourceware.org/gcc/gcc.git ...,
>   git push ssh://f...@gcc.gnu.org/gcc/gcc.git ...
It shouldn't matter.  Under the hood sourceware.org and gcc.gnu.org are
the same machine.

jeff

Reply via email to