diff options
| -rw-r--r-- | yarns/branches-workspaces.yarn | 1 | ||||
| -rw-r--r-- | yarns/building.yarn | 1 | ||||
| -rw-r--r-- | yarns/deployment.yarn | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/yarns/branches-workspaces.yarn b/yarns/branches-workspaces.yarn index 34aa97e0..a757822e 100644 --- a/yarns/branches-workspaces.yarn +++ b/yarns/branches-workspaces.yarn @@ -233,6 +233,7 @@ build branch is made to include that change. WHEN the user makes changes to test-chunk in branch master AND the user builds systems/test-system.morph of the master branch THEN the changes to test-chunk in branch master are included in the temporary build branch + FINALLY the git server is shut down ### When branches are created ### diff --git a/yarns/building.yarn b/yarns/building.yarn index 253b3b3c..ff22424c 100644 --- a/yarns/building.yarn +++ b/yarns/building.yarn @@ -35,6 +35,7 @@ so when we deploy the system, we can check whether it exists. WHEN the user attempts to deploy the cluster test-cluster.morph in branch master with options test-system.location="$DATADIR/test.tar" THEN morph succeeded AND tarball test.tar contains etc/passwd + FINALLY the git server is shut down Distbuilding ------------ diff --git a/yarns/deployment.yarn b/yarns/deployment.yarn index 0782c7c1..9814f87d 100644 --- a/yarns/deployment.yarn +++ b/yarns/deployment.yarn @@ -328,3 +328,4 @@ Once it is rebuilt, it can be deployed. WHEN the user attempts to deploy the cluster test-cluster.morph in branch mybranch THEN morph succeeded AND file workspace/mybranch/test/morphs/test-system.tar exists + FINALLY the git server is shut down |