-
Georges Racinet authored
Like the official CLI "Clever Tools" does, we need to request the current version of the `docker` instance type to create a new one. This should be later on optimized. Like the `LocalDockerRunner`, the `launch()` method creates a Docker build context, but deployment now means to push it via Git. In practice, this means that we have a foreign (non Python) dependency: the Git executable. We should at least later on make its path customizable and make a startup error if missing.
73365692ea77