Git push via HTTP (ou comment travailler au MacDo) 17


Hier, j’ai dû pusher du Mac Do. Parce que je suis dans un pli d’une circonvolution du sphincter du trou du cul du monde, à savoir chez mes grands-parents. Inutile de dire que j’avais un meilleur accès Internet à Kisumu, au Kenya. Si, si.

Bien entendu, le Mac wifi est annoncé comme “Internet gratuit Illimité”, ce qui en langage commercial ignorant signifie une partie du Web censurée et les ports de emails ouverts si vous nous achetez un maxi best of.

Donc pas de SSH.

Heurement Github est grand, Github est beau, et Github accepte les push via HTTPS.

Modifiez juste une ligne dans votre fichier .git/config de :

[remote "origin"]
	url = git@github.com/votre_pseudo/votre_repo.git

Vers :

[remote "origin"]
	url = https://github.com/votre_pseudo/votre_repo.git

La commande git devrait vous prompter pour username (mettez votre email) et mot de passe, et hop : le monde du télétravail à la campagne s’ouvre à vous.

17 thoughts on “Git push via HTTP (ou comment travailler au MacDo)

  • foxmask

    tiens j’ai pas la meme recette moi pour push du macdo je mets 2 tranches de pain de mie un steak cornichon ketchup moutard :)

  • Nico

    Mini-typo : avec le protocole ssh, c’est : pour spécifier le votre_pseudo/votre_repo.git ;)

    [remote "origin"]
        url = git@github.com:votre_pseudo/votre_repo.git

    Je ne conseille pas forcément, mais on peut au moins renseigner le username dans l’URL pour ne pas avoir à le taper systématiquement.

    [remote "origin"]
        url = https://votre_pseudo@github.com/votre_pseudo/votre_repo.git

    Sinon, on peut aussi configurer son .ssh/config pour pusher en ssh via https :

    Host ssh.github.com
        User git
        HostName ssh.github.com
        Port 443

    Et du coup :

    [remote “origin"]
        url = ssh.github.com:votre_pseudo/votre_repo.git

    (Source : https://help.github.com/articles/using-ssh-over-the-https-port)

  • kontre

    Pour ne pas virer l’ancien, il est aussi possible de rajouter un remote et de le préciser ensuite lors des push/pull. Il y aura toujours “origin” par défaut.

  • Sam Post author

    On voit quand même deux types de lectorats : kontre et Nico boost ma productivité, et foxmask et g-rom la plombe. La nature aime l’équilibre.

  • foxmask

    @sam desole pour le plombage :) mais comme je fais comme tézigues pour GitHub je peux pas dire mieux :)

  • Sam Post author

    Bon idée, un petit port forwarding. Faudrait créer des machines toutes prêts à faire ça, louable 1 euros la journée pour des besoins temporaires.

  • glickind

    Pourquoi aller jusqu’au Mc Do quand il suffit de brancher son ordinateur portable sur son téléphone mobile (merci Android) ?

  • Sam Post author

    Ou parceque tu ne veux pas tuer ton fair use. Ou parceque tu as besoin de travailler avec des technos qui marche mal sur le net mobile (type webrtc). Ou parceque que le ping est meilleur. Ou parce que tu veux pas utiliser la batterie de 8h de ton smartphone.

  • Anon

    @OKso
    “ou parce qu’on va au Mc Do justement pour ne pas être identifié.”
    Ouais, ça c’est ce que dit ma voisine obèse, on y croit tous.

  • OKso

    @Anon Je n’ai jamais dit que c’était toujours une bonne idée, et je n’ai jamais nié y avoir utilisé Firesheep à l’époque où ça marchait. Et ça marchait plutôt vachement bien.

Leave a comment

Your email address will not be published. Required fields are marked *

Utilisez <pre lang='python'>VOTRE CODE</pre> pour insérer un block de code coloré

Des questions Python sans rapport avec l'article ? Posez-les sur IndexError.