Correct! The domain and protocol are unencrypted, but the path is encrypted.
I guess they could MITM the connections. Yes you would get certificate errors, but your choice would be to accept the MITM certificate or not visit github at all.
Most of them are too general for this. I just suspect they were being inconsistent. Look at the trailing `/` in the URLs. Probably they copy-pasted without much thought.