chore: redo typo PR by osrm

docs/docs/getting_started/setting_up_shell_completions.md

@@ -20,7 +20,7 @@ If you have `oh-my-zsh` installed, you might already have a directory of automat
 If not, first create it:
 
 ```bash
-mkdir -p ~/.oh-my-zsh/completions`
+mkdir -p ~/.oh-my-zsh/completions
 ```
 
 Then copy the completion script to that directory:

docs/docs/how_to/using-devcontainers.mdx

@@ -73,11 +73,11 @@ Github comes with a default codespace and you can use it to code your own devcon
   }
 }
 ```
-#### 6. Commit and push your changes
+#### 5. Commit and push your changes
 
 This will pull the new image and build it, so it could take a minute or so
 
-#### 8. Done!   
+#### 6. Done!   
 Just wait for the build to finish, and there's your easy Noir environment. Some examples of how to use it can be found in the [awesome-noir](https://github.com/noir-lang/awesome-noir?tab=readme-ov-file#boilerplates) repository.
 
 ## How do I use it?

scripts/redo-typo-pr.sh

@@ -34,4 +34,7 @@ gh pr create --base master --head $NEW_BRANCH --title "chore: redo typo PR by $A
 echo "Closing original PR #$ORIGINAL_PR_NUMBER"
 gh pr close $ORIGINAL_PR_NUMBER
 
+# Step 7: Delete the temporary branch
+git branch -D typo-pr-branch
+
 echo "Script completed."