Hi, I've tried to resolve the first issue but got permission denied pushing new branch.
I ssh-cloned a copy of stan-dev/math:
git clone ssh://firstname.lastname@example.org/stan-dev/math.git
Just tried to create a new branch and to push it:
git checkout -b bugfix/issue-514-gamma-parameter-name
git push -u origin bugfix/issue-514-gamma-parameter-name
And got a permission error:
ERROR: Permission to stan-dev/math.git denied to doykov.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
The same story with https-access.
Is there a permission for the repository that needs to be set somewhere or am I doing something wrong?
If not, then maybe there is a problem with my ssh-key.