Re: github

["jdd AT dodin.org" <jdd AT dodin.org>]

Le 03/06/2021 à 16:58, Albert ARIBAUD (via linux-31 Mailing List) a écrit :

> Normal, 1) c'est du github, pas du Git,

tu as du remarquer que quand tu as un problème (par exemple pmwiki pas 
prévu dans Yunohost), ça t'envoie sur un autre problème (ici il faut 
utiliser Github), qui te renvoie sur un autre problème (il faut utiliser 
Git). Ma pile de retour n'est pas illimitée :-(

 et 2) c'est le fameux token
> pour HTTPS dont nous avons déjà parlé, alors que j'utilise SSH, qui
> parche partout, et je n'ai donc pas besoin d'un token. :)

tu as quand même besoin d'un login/mot de passe on de transférer une clé 
ssh, c'est pareil. J'ai juste suivi la doc de Github, qui propose https 
par défaut.

> Tu as déjà évoqué cette nécessité de changer l'origine, et j'ai déjà
> indiqué que git ne demande pas de changer l'origin, et surtout qu'il ne
> la changera jamais de lui-même.

mais quand tu veux lui donner la première, s'il n'est pas content il te 
bloque

> Du coup, sur ce point, peux-tu donner une "recette", une série
> d'opérations partant d'une situation initiale "propre" (un dossier vide
> dans lequel tout le travail sera fait) qui provoque ce changement
> d'origin non demandé, et qui permette de voir quelle valeur inattendue
> a pris origin ?

si je le savais, j'aurais gagné du temps

il m'a fallu pas mal de temps pour trouver une doc qui me disait 
qu'"origin" c'est un remplacement (variable, constante, ce que tu veux) pour

https://jdanield:pat AT github.com/jdanield/Repo-projet1.git

sauf qu'on ne peut pas donner de mot de passe s'il n'a pas été donné 
avec la première commande, et qu'il n'est conservé en mémoire que 
quelques minutes

jdd


--
http://dodin.org