From 7f7bf9d994df85f0a75061d57a4d470b680ed22c Mon Sep 17 00:00:00 2001
From: Michael Kaufmann <5276337+wulfland@users.noreply.github.com>
Date: Thu, 16 Jun 2022 14:47:50 +0200
Subject: [PATCH] Update 04-Review-code.md

---
 hol/04-Review-code.md | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/hol/04-Review-code.md b/hol/04-Review-code.md
index 8523b32..1065bd0 100644
--- a/hol/04-Review-code.md
+++ b/hol/04-Review-code.md
@@ -62,8 +62,19 @@
 
 Verify that your own pull request is also merged. Go back to your command line and clean up your local repo:
 
-Switch to the main branch: `git switch main`
-Pull the changes with `--prune` or `-p` to delete branches do not longer exist:
+1. Switch to the main branch: 
+
+```
+git switch main
+```
+
+2. Pull the changes with `--prune` or `-p` to delete branches do not longer exist:
+
+```
+git pull --prune
+```
+
+The result should look like this: 
 
 ```console
 $ git switch main
@@ -85,3 +96,6 @@ $ pull --prune
  docs/index.html               |  2 +-
  1 files changed, 1 insertions(+), 1 deletions(-)
 ```
+
+3. Check that the issue was automatically closed when the PR was merged
+4. Check that the bug was fixed and your game is working