More git notes.

2016-03-02 20:45:08 +10:00
parent 9c79bbb15d
commit 11d660688b
1 changed files with 1 additions and 0 deletions
@@ -3,6 +3,7 @@ to cache my Github username
 git config --global user.name "Warren Toomey"
 git config --global user.email wkt@tuhs.org
 git config --global push.default simple
 To bring your own local repository up to date with Github:
 git fetch origin