[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: add the rc shell package
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH] gnu: add the rc shell package |
Date: |
Mon, 13 Jul 2015 19:14:55 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Alex Kost <address@hidden> skribis:
> Jeff Mickey (2015-07-13 01:46 +0300) wrote:
>
>> + (home-page "http://github.com/rakitzis/rc")
>
> A question to the list: Do we prefer "https" over "http" for such github
> home pages? I see that both variants are used, but is there a
> preferable way?
I tend to use ‘http’ rather than ‘https’ (on the grounds that Tor does a
better job than TLS at protecting user privacy, and that authentication
based on X.509 certificates is not so helpful), but no strong preference
on my side.
Ludo’.
- Re: [PATCH] gnu: add the rc shell package, (continued)
- Re: [PATCH] gnu: add the rc shell package, Mark H Weaver, 2015/07/11
- Re: [PATCH] gnu: add the rc shell package, Jeff Mickey, 2015/07/11
- Re: [PATCH] gnu: add the rc shell package, Mark H Weaver, 2015/07/11
- Re: [PATCH] gnu: add the rc shell package, Jeff Mickey, 2015/07/12
- Re: [PATCH] gnu: add the rc shell package, Jeff Mickey, 2015/07/12
- Re: [PATCH] gnu: add the rc shell package, Mark H Weaver, 2015/07/12
- Re: [PATCH] gnu: add the rc shell package, Jeff Mickey, 2015/07/13
- Re: [PATCH] gnu: add the rc shell package, Mark H Weaver, 2015/07/13
- Re: [PATCH] gnu: add the rc shell package, Alex Kost, 2015/07/13
- Re: [PATCH] gnu: add the rc shell package,
Ludovic Courtès <=