Dinesh A
05/29/2024, 2:36 AMgit push -f -u ef-repo main
git@repositories.efabless.com: Permission denied (publickey,gssapi-keyex,gssapi-with-mic).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
there is any additional access right checks are add? previously it use to work for me.Marwan Abbas
05/29/2024, 7:13 AMDinesh A
05/29/2024, 10:16 AMMarwan Abbas
05/29/2024, 1:52 PMAnton Maurovic (efabless support)
05/29/2024, 3:05 PMXiaochen Ni
05/30/2024, 6:49 PMAnton Maurovic (efabless support)
05/30/2024, 7:27 PMgit remote add ef-repo <ssh://git@repositories.efabless.com/YOUR_REPO_URL_GOES_HERE> # <== update this!!
git push -u ef-repo main
If it is 2 you should do this:
git remote add ef-repo <ssh://git@repositories.efabless.com/YOUR_REPO_URL_GOES_HERE> # <== update this!!
git push -u ef-repo main --force # <== note extra --force option
If it is 3 you should try just pushing to our server normally, assuming your local repo already has successfully pushed to us on at least one occasion in the past.Anton Maurovic (efabless support)
05/30/2024, 7:28 PMAnton Maurovic (efabless support)
05/30/2024, 7:28 PMDinesh A
05/31/2024, 11:18 AMMarwan Abbas
05/31/2024, 12:16 PMDinesh A
05/31/2024, 12:17 PMgit push -f -u ef-repo main
<mailto:git@repositories.efabless.com|git@repositories.efabless.com>: Permission denied (publickey,gssapi-keyex,gssapi-with-mic).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
Marwan Abbas
05/31/2024, 5:05 PMDinesh A
05/31/2024, 5:22 PMDinesh A
05/31/2024, 5:23 PMMarwan Abbas
05/31/2024, 5:23 PMMarwan Abbas
05/31/2024, 5:27 PMMarwan Abbas
06/03/2024, 6:15 PM