1 Oct
2016
1 Oct
'16
6:34 p.m.
Ah, never mind. The one you already posted looks okay. You are running git push while in the repository directory, right? cheers! mar77i