Ah, never mind. The one you already posted looks okay. You are running git push while in the repository directory, right?
cheers! mar77i
Martin Kühne via aur-general Sat, 01 Oct 2016 11:36:11 -0700
Ah, never mind. The one you already posted looks okay. You are running git push while in the repository directory, right?
cheers! mar77i