git config remote.origin.url https://DoctorWkt@github.com/DoctorWkt/pdp7-unix.git
to cache my Github username
