diff --git a/instructions_git.md b/instructions_git.md index 97bc7dbd1c..79b935ac24 100644 --- a/instructions_git.md +++ b/instructions_git.md @@ -65,6 +65,7 @@ need more adaptations for Windows and other platforms. remote = origin merge = refs/heads/master ``` +