[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PING: [Patch] Create scripts/ directory for profiler files
From: |
Daniel Kraft |
Subject: |
Re: PING: [Patch] Create scripts/ directory for profiler files |
Date: |
Tue, 17 May 2016 18:06:13 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.8.0 |
Hi!
On 2016-05-17 01:18, Jordi GutiƩrrez Hermoso wrote:
> You were our first GSoC student, and quite a successful one at that.
> Except for minor stylistic issues (e.g. Python-like __foo__ not C-like
> __foo for private names), your patches look good.
>
> Is there a reason why you don't have push access to Savannah? Do you
> want it?
I'm not aware of any particular reason, we just never did it. I'm
totally happy to get it, if you trust me enough. ;)
Is there then no further code review involved?
Yours,
Daniel
--
http://www.domob.eu/
OpenPGP: 1142 850E 6DFF 65BA 63D6 88A8 B249 2AC4 A733 0737
Namecoin: id/domob -> https://nameid.org/?name=domob
--
Done: Arc-Bar-Cav-Hea-Kni-Ran-Rog-Sam-Tou-Val-Wiz
To go: Mon-Pri
signature.asc
Description: OpenPGP digital signature