Re: Pusher un tag
JLuc <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 16/04/2020 à 23:08, Maïeul Rouquette et _Eric ont écrit : > git push > git push --tags OK Malheureusement ça erreur quand je push --tags. C'est la première fois que je pushe sur git.spip depuis un repo local et non via l'API gitea (avec "git push" ça ne faisait rien mais il n'y avait pas d'erreur car a part le tag il n'y a rien à pusher). J'ai imaginé que la clé ssh que j'avais enregistré il y a plus d'un n'était pas la bonne. Mais impossible d'enregistrer sur https://git.spip.net/user/settings/keys le contenu de ma clé publique actuelle (~/.ssh/jluc_id_rsa.pub) de la forme « ssh-rsa AAAAB3NzaC1yc2EA... amlvHQQ== [email protected] » J'ai alors supprimé la clé enregistrée il y a un an, mais toujours pareil. Le message est "Cette clef SSH a déjà été ajoutée au serveur." sauf qu'actuellement je n'ai plus aucune clé enregistrée. Faut il simplement attendre que gitea oublie ma vieille clé ? JL