another "SSH connect to host github.com port 22: Bad file number"
You can use the Smart HTTP method. Just follow the second example in the instructions and use push instead of clone. For instance:
git push https://[email protected]/mariusz/project.git
It works for all git
commands that involve remote repositories.