derek/DRAMSys
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

readme improved

Browse Source
This commit is contained in:
Éder F. Zulian
2017-12-08 11:22:32 +01:00
parent 1011944a81
commit 947ee2c89e
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
README.md
View File

@@ -29,9 +29,9 @@ $ git config --global color.ui auto
Login using your **git.rhrk** account. Fork the repository by clicking in Login using your **git.rhrk** account. Fork the repository by clicking in
**Fork** in the upper-right corner of this page. **Fork** in the upper-right corner of this page.
Now clone **your fork** of the official repository into a local folder in Now clone **your fork** of the official repository into a local folder on your
computer. Replace the word **user** with your own RHRK user name. Note that it computer. Replace the occurrences of the word **user** with your own RHRK user
appears two times in the line below. name. **Note that it appears twice in the line below**.
``` bash ``` bash
$ git clone --recursive https://user@git.rhrk.uni-kl.de/user/dram.vp.system.git $ 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 $ git remote -v
``` ```
Also, after a pull request being accepted and merged into the official In general, from time to time you should update your fork in order to keep it
repository you should get your fork updated. 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 ``` bash
$ git fetch upstream $ git fetch upstream