This repository has been archived by the owner on Mar 1, 2020. It is now read-only.
The test environment needs to be reinstalled if the manifest changed #4
Labels
enhancement
New feature or request
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]).
The text was updated successfully, but these errors were encountered: