From 1dc382f58c1f1e25a59699e9e6ae54f3d71cf0e3 Mon Sep 17 00:00:00 2001 From: Jpy Date: Fri, 22 Feb 2019 20:28:52 +0100 Subject: [PATCH] Update GUIDELINES_DEV.md --- GUIDELINES_DEV.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GUIDELINES_DEV.md b/GUIDELINES_DEV.md index 1326a1c..9c18902 100644 --- a/GUIDELINES_DEV.md +++ b/GUIDELINES_DEV.md @@ -34,7 +34,7 @@ Please follow those rules when developping new features : - before pushing your changes pull the remote `develop` branch to be merged with your changes in `mypseudo_mynewfeature` branch (so to be sure the features you just developped are compatible with the checked/reviewed `develop` branch): > ```bash - git pull orgin develop + git pull origin develop ``` - push your branch to the remote repo (github repo) : >