mirror of
https://github.com/DoctorWkt/pdp7-unix.git
synced 2026-01-13 15:27:39 +00:00
19 lines
530 B
Plaintext
19 lines
530 B
Plaintext
git config remote.origin.url https://DoctorWkt@github.com/DoctorWkt/pdp7-unix.git
|
|
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
|
|
git diff master origin/master
|
|
git merge origin/master
|
|
|
|
To recover a delete file $file:
|
|
git checkout $(git rev-list -n 1 HEAD -- "$file")^ -- "$file"
|
|
|
|
To see the log of changes to one file
|
|
git log -- file
|
|
|