From 435c406bb64dc5115a6ac878db05fcb70feab69f Mon Sep 17 00:00:00 2001
From: Laurent Heirendt <laurent.heirendt@uni.lu>
Date: Mon, 16 Jan 2017 11:46:58 +0100
Subject: [PATCH] Minor changes
---
good_practices.md => best_practices.md | 2 +-
forks.md | 4 +++-
list.json | 2 +-
3 files changed, 5 insertions(+), 3 deletions(-)
rename good_practices.md => best_practices.md (97%)
diff --git a/good_practices.md b/best_practices.md
similarity index 97%
rename from good_practices.md
rename to best_practices.md
index e207fb53..2ee462cb 100644
--- a/good_practices.md
+++ b/best_practices.md
@@ -1,4 +1,4 @@
-## Good practices
+## Best practices
* `clone` a repository, do not download the `.zip` file.
* `pull` before `push`
diff --git a/forks.md b/forks.md
index 79ad368d..3fc815cb 100644
--- a/forks.md
+++ b/forks.md
@@ -77,4 +77,6 @@ $ git push origin master
## Pull/Merge Requests
-How to submit a Pull or Merge Request (PR or MR)
+**Good news!**
+
+Same procedure as with merging a branch...
diff --git a/list.json b/list.json
index aac60791..3dd91a69 100644
--- a/list.json
+++ b/list.json
@@ -54,7 +54,7 @@
}
},
{
- "filename": "good_practices.md",
+ "filename": "best_practices.md",
"attr": {
"data-background": "../img/whiteBG.jpg"
}
--
GitLab