Commit a68d726
authored
Remove devcontainer folder if the git clone script fails (#263)
We need to reattempt git clone on devcontainer restart if the issue originates in the git-clone script. To do this, remove the devcontainer folder. Otherwise, the script sees the devcontainer folder exists and skips rerunning git-clone.1 parent 22c7162 commit a68d726
1 file changed
+2
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
| 36 | + | |
| 37 | + | |
36 | 38 | | |
37 | 39 | | |
38 | 40 | | |
| |||
0 commit comments