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

[micheus]

ggaliens, it's an github access issue.
Today I had similar problem - I use http reference to git repository so the message is a bit different:

Code:

$ git push origin
error: Recv failure: Connection was reset while accessing http://github.com/Micheus/wings.git/info/refs
fatal: HTTP request failed

I changed the reference to SSH:

Code:

$ git push origin
ssh: connect to host github.com port 22: Bad file number
fatal: The remote end hung up unexpectedly

and then for HTTPS:

Code:

$ git push origin
error: Unknown SSL protocol error in connection to github.com:443  while accessing https://github.com/Micheus/wings.git/info/refs
fatal: HTTP request failed

I checked for their status and maybe that justify the intermittent problem: GitHub System Status - they are having problems related to DDoS attack.