merge main

This commit is contained in:
Peter Cottle 2024-02-19 15:43:14 -05:00
commit 940ae49fbd

View file

@ -153,7 +153,7 @@ exports.level = {
"type": "ModalAlert", "type": "ModalAlert",
"options": { "options": {
"markdowns": [ "markdowns": [
"Ok! For this level let's push work onto the `main` branch on remote while *not* checked out on `main` locally. You should instead a branch named `side` which the level hint will show." "Ok! For this level let's push work onto the `main` branch on remote while *not* checked out on `main` locally. You should instead a branch named `side` which the goal diagram will show."
] ]
} }
} }