Dan , Micheus ... how to re-submit pull-request ?

[micheus]

Just now I saw your comment at github.

Code:

$ "/c/program files (x86)/git/bin/git" push origin ggaliens/sc-build-colors
ssh: connect to host github.com port 22: Bad file number
fatal: Could not read from remote repository.

I believe your problem is related to the SSH keys (the id_rsa files). Check your SSH Key at github.