Re: [PATCH] sim: rename TRACE_EXTRACT to CGEN_TRACE_EXTRACT

Hi -

> i guess i need to be in some group on the server first ?
> [..]
> To ssh://sourceware.org/git/cgen.git
>  ! [remote rejected]           master -> master (unpacker error)
> error: failed to push some refs to 'ssh://sourceware.org/git/cgen.git'

Try again now!

- FChE