Samuel GAIST authored Nov 27, 2019 and Flavio TARSETTI committed Nov 28, 2019

This allows to make the resources properly available also for
testing.

Samuel GAIST authored Oct 10, 2019 and Samuel GAIST committed Nov 15, 2019

The selection can be done for both remote and local
development.

Samuel GAIST authored Oct 10, 2019 and Samuel GAIST committed Nov 15, 2019

Now the user has the choice to configure a remote
or docker environment. This allows for local testing
and then select a suitable environment for the platform.