Re: Git push account

2020-01-26 Thread Feng Xue OS
As pointed out by Andreas, I used wrong git repo URL. Now it works.

Thanks,
Feng


From: Jeff Law 
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 +, 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



gcc-10-20200126 is now available

2020-01-26 Thread gccadmin
Snapshot gcc-10-20200126 is now available on
  https://gcc.gnu.org/pub/gcc/snapshots/10-20200126/
and on various mirrors, see http://gcc.gnu.org/mirrors.html for details.

This snapshot has been generated from the GCC 10 git branch
with the following options: git://gcc.gnu.org/git/gcc.git branch master 
revision 787c79e559f5f011989b94298346d89542eb9052

You'll find:

 gcc-10-20200126.tar.xz   Complete GCC

  SHA256=88f050451668600e89cb4494046ae2664b69e7e3a9e40a1c84369f1b302e30a6
  SHA1=e8e3765556cd6538599b87ae06075180d46e46b5

Diffs from 10-20200119 are available in the diffs/ subdirectory.

When a particular snapshot is ready for public consumption the LATEST-10
link is updated and a message is sent to the gcc list.  Please do not use
a snapshot before it has been announced that way.