Github: Failed to connect to github.com:443; No error

I have been swearing for a while to realize that the git client (http://msysgit.github.com/) requires a proxy settings to be able to contact github.
Here are all the commands (don't tell me git is intuitive.... it's a hell of a lot of work only to get the basic done).
The command is "git config --global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080"
All the git config settings are documented here

$ git config --global user.name "vernetto"

$ git config --global user.email pvernetto@gmail.com

$ mkdir kitammuort

$ cd kitammuort/

$ git init
Initialized empty Git repository in c:/pierre/workspaceGIT/kitammuort/.git/

$ touch README

$ git add README

$ git commit -m 'first commit'
[master (root-commit) e5310e1] first commit
 1 file changed, 1 insertion(+)
 create mode 100644 README

$ git remote add origin https://github.com/vernetto/kitammuort.git

$ git push origin master
fatal: unable to access 'https://github.com/vernetto/kitammuort.git/': Failed to connect to github.com:443; No error

 
git remote set-url origin https://vernetto@github.com/user/kitammuort.git

git config --global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080

git pull origin master

git push origin master