Re: [PATCH] gnu: Add texmaker.

[Roel Janssen]

Ludovic Courtès writes:

> Hello!
>
> Roel Janssen <address@hidden> skribis:
>
>> Ludovic Courtès writes:
>
> [...]
>
>>> I think it would help now if you could access the repo directly.  :-)
>>>
>>> What’s your Savannah account?  Please make sure to upload your current
>>> OpenPGP public key there.
>>
>> Thanks!  My Savannah username is roelj.  I've created a new PGP key and
>> updated my account's public key accordingly.
>
> Awesome, welcome!  :-)
>
> Please see ‘HACKING’.  If in doubt with Git or anything, don’t hesitate
> to ask.  Also, make sure to sign commits that you push.
>
>> May I sign and push these patches?
>
> Yes, please!

Pushed.  Is there an interface other than the following command to
verify the commits are signed?:

  git --no-pager log --show-signature -1

Thanks!

Kind regards,
Roel Janssen