Re: [Pharo-dev] Git URL issues

[Sven Van Caekenberghe]

> On 25 Oct 2019, at 14:49, Sven Van Caekenberghe <s...@stfx.eu> wrote:
> 
> How do you build/deploy non-public production code using the command line ?

I just learned about the following technique:

Using SSH agent forwarding

https://developer.github.com/v3/guides/using-ssh-agent-forwarding/

This certainly makes using certificates on production servers much easier since 
you do no longer have to manage or install special ones on the deployment 
servers, you can just use your standard developer certificates.

Sven