Subject: Re: [bug#36404] [PATCH v5 4/4] doc: Add section for 'guix deploy'.

From: Ludovic Courtès <[email-masked]>
Date: Sat, 06 Jul 2019 23:50:21 +0200

Hi!

Christopher Lemmer Webber <[email-masked]> skribis:

> Since those changes seemed to reflect everyone's requests, I've pushed
> it to git master.

Thank you.

> Huge congrats to Jakob!  I'm stoked about it.

Seconded!

> Now who can race to the finish line to be the first one using these
> tools for their server deployment? :)

Heheh, we could put them to good use on the build farm…

Cheers,
Ludo’.