Problems with 'git push origin'

[Imke27]

For anyone having the similar error: I had a problem with the 'git push origin' step. It's fixed now, because Yilun helped me, maybe he can explain how.

The problem was the following error:

[yilun-wu]

I think in the end, it was because we put the ssh-agent script under .bash_profile instead of .bashrc as instructed from the steps.

If you can do git push origin in WSL but not in the devcontainer, then make sure the steps are correctly applied.

[Huizerd]

if .bashrc is the correct place, then the steps are wrong, right? they suggest .bash_profile. also, I could only get the added lines to run without error if I comment out

eval `cat $HOME/.ssh/ssh-agent` > /dev/null

because it says the file .ssh/ssh-agent doesn't exist. do you also have that?