On 11.1.2017 16:46, Yao Qi wrote:

> On 17-01-11 14:14:10, Ivo Raisr wrote:
>
> Patch is good to me, some nits below.  Fix these nits, and then you
> can push it in!
I fixed all the nits (see attached).
Thank you for your review!

However I assume I don't have write access to gdb's git repository [1]
as the ssh authentication would surely ask for some credentials which I 
don't posses.

What is the process now? Could you please push the changes for me?
Or should I ask for access myself?

I.


[1] https://www.gnu.org/software/gdb/current/