Re: Better support remote deployment

[Felix Lechner]

On Thu, Nov 16 2023, Ludovic Courtès wrote:

> I wonder if this would really be more convenient than SSH’ing
> into the target machine and running the commands right there.

Just from using 'guix deploy' I'll note that 'guix pull' is an expensive
operation, especially when running a custom version---but it would be
more appropriate for the affected parties to speak up here.

Kind regards
Felix