Hello!
Ricardo Wurmus skribis:
> Ludovic Courtès writes:
[...]
>> I wonder what should be done with guix.info: should we keep it as a
>> mirror, or should it redirect to gnu.org, or the opposite?
>
> I really don’t know. I didn’t plan for guix.info to become popular, but
> it certainly is co
Pierre Neidhardt skribis:
>> Currently, the manual shown on guix.info is fairly close to the latest
>> in git. This means it contains documentation about channels, which
>> cannot be found in the latest release that matches the manual on
>> gnu.org.
>
> This is crucial, I believe. I believe. "
Ludo', Guix,
Ludovic Courtès wrote:
Ricardo Wurmus skribis:
“certbot” can be used with manual DNS validation, which
requires us to deploy a DNS TXT record. This can be automated
with
certbot hooks (scripts that have access to the token that
should be
published via environment variables) or
On Mon, Sep 24, 2018 at 23:05:17 +0200, Ricardo Wurmus wrote:
> Open the developer console and switch to the Style Editor tab. On
> github.com you’ll see a bunch of CSS files with a note under each saying
> “0 rules”. To the right you see the CSS sources. Now add a space
> character (or make som
