Résolution du problème avec git

Depuis quelques temps, je n'arrivais pas à pousser mes modifications vers le serveur avec git.
Le résultat était
error: Failed connect to code.google.com:8080; Connection refused while accessing https://code.google.com/p/robokite/info/refs?service=git-receive-pack
fatal: HTTP request failed

J'ai finalement trouvé une solution. Il m'a fallu ouvrir le fichier ~/.gitconfig qui avait le contenu suivant et supprimer l'ensemble de la clé http.

[user]
    name = Baptiste Labat
    email = baptiste.labat@gmail.com
[http]
    sslVerify = false
    proxy = http://kuzh.polytechnique.fr:8080
[push]
    default = simple