diff --git a/README.md b/README.md index 30c7e052..38052c76 100644 --- a/README.md +++ b/README.md @@ -29,9 +29,9 @@ $ git config --global color.ui auto Login using your **git.rhrk** account. Fork the repository by clicking in **Fork** in the upper-right corner of this page. -Now clone **your fork** of the official repository into a local folder in -computer. Replace the word **user** with your own RHRK user name. Note that it -appears two times in the line below. +Now clone **your fork** of the official repository into a local folder on your +computer. Replace the occurrences of the word **user** with your own RHRK user +name. **Note that it appears twice in the line below**. ``` bash $ git clone --recursive https://user@git.rhrk.uni-kl.de/user/dram.vp.system.git @@ -65,8 +65,12 @@ $ git remote add upstream https://user@git.rhrk.uni-kl.de/EIT-Wehn/dram.vp.syste $ git remote -v ``` -Also, after a pull request being accepted and merged into the official -repository you should get your fork updated. +In general, from time to time you should update your fork in order to keep it +synchronized with the official repository. It is important to keep track of +the evolution of the official repository and avoid a huge divergence. + +To get the latest changes from the official repository merged into your fork +you can use the commands that follow: ``` bash $ git fetch upstream