I want to push a change to llvm-test-suite, but I don’t know how and must be missing something really obvious here. This is what I did, and what I am getting:
$ git clone https://<username>@github.com/llvm/llvm-test-suite.git
$ git apply mypatch.diff
$ git push origin master
Password for ‘https://<username>@github.com’:
remote: Permission to llvm/llvm-test-suite.git denied to .
fatal: unable to access ‘https://<username>@github.com/llvm/llvm-test-suite.git/’: The requested URL returned error: 403
Anyone got an idea?
Do we have separate accounts/permissions for this repo?
Changing the protocol to git:
$ git remote set-url origin git@github.com:llvm/llvm-test-suite.git
$ git remote -v
origin git@github.com:llvm/llvm-test-suite.git (fetch)
origin git@github.com:llvm/llvm-test-suite.git (push)
Testing the connection:
$ ssh -T git@github.com
Hi ! You’ve successfully authenticated, but GitHub does not provide shell access.
And pushing again:
$ git push origin master
ERROR: Permission to llvm/llvm-test-suite.git denied to .
Did you try with ssh?
git clone git@github.com:llvm/llvm-test-suite.git
and having you public ssh key uploaded to GitHub?
Michael
Thanks Michael! It turned out to be a problem with my github account, thanks to Mehdi for spotting this.
Cheers.