From 9da0d2a77f7f7dd3dca4f5dfa0e9b1f31f45e1a6 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Tue, 11 Jun 2019 11:07:43 +0200
Subject: [PATCH] note on branch existence

---
 2019/2019-06-11_gitTraining/slides/branches.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/2019/2019-06-11_gitTraining/slides/branches.md b/2019/2019-06-11_gitTraining/slides/branches.md
index 7e369bb4..dd75ef7a 100644
--- a/2019/2019-06-11_gitTraining/slides/branches.md
+++ b/2019/2019-06-11_gitTraining/slides/branches.md
@@ -53,7 +53,7 @@ Exit by typing `q`. The branch with the * is the current branch.
 
 Checkout another branch
 ```bash
-$ git checkout branchName
+$ git checkout <branchName>
 ```
 
 <div class="fragment">
@@ -62,6 +62,7 @@ You can switch to the `develop` branch with
 ```bash
 $ git checkout develop
 ```
+If the local branch does not exist but the remote does, it is created automatically.
 
 <div class="fragment">
 
-- 
GitLab