Open zadigus opened 5 years ago
We can detect changes in the manifest by means of git's command line. If the manifest changed, then we need to remove the concerned environment and re-install it. This assumes that environment deletion works (cf. [#1]).
We can detect changes in the manifest by means of git's command line. If the manifest changed, then we need to remove the concerned environment and re-install it. This assumes that environment deletion works (cf. [#1]).