diff --git a/misc/git_notes.txt b/misc/git_notes.txt index 98ba61d..1e75b9e 100644 --- a/misc/git_notes.txt +++ b/misc/git_notes.txt @@ -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