Ah, never mind. The one you already posted looks okay.
You are running git push while in the repository directory, right?

cheers!
mar77i

Reply via email to