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
