Commit 40e0b207 authored by Michael Orlov's avatar Michael Orlov

Added a simpler command for pulling from upstream.

parent 9da1611f
......@@ -32,6 +32,10 @@ an existing assignment is updated:
git fetch upstream
git merge upstream/master
```
or simply:
```bash
git pull upstream master
```
Push local commits to server, after adding and committing files using `git add` and `git commit`:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment