diff --git a/README.md b/README.md index ead671037..7f40723a7 100644 --- a/README.md +++ b/README.md @@ -16,15 +16,19 @@ The VIP logo was designed by Max Langer under the [CC BY-NC-SA license](https:// git config --global user.name "Jeanne Tartempion" # not "tartempion" or "jtartempion" or "root" git config --global user.email "jeanne.tartempion@university.fr" # not "root@localhost" ``` + 1. Developments are made in forks from the base repository. Developments lead to pull-requests that are merged by the owner(s) of the base repository. -2. Starting from release 1.15, we adopt the branching model described [here](http://nvie.com/posts/a-successful-git-branching-model). -3. When working on a new feature: + +2. Starting from release 1.15, we adopt the branching model described [here](http://nvie.com/posts/a-successful-git-branching-model). + +3. When working on a new feature: * In your fork, create a new feature branch from the development branch: ``` git checkout -b new_feature develop ``` -You may name your branch anything except master, develop, release-*, or hotfix-* -3. When feature development is finished: +* You may name your branch anything except `master`, `develop`, `release-*`, or `hotfix-*`. + +4. When feature development is finished: * Push your commits to Github (your fork). * Make a pull request to merge feature branch (in your fork) to development branch (in the base repository).