Inclut SPECS_SVELTE.md : conventions Svelte 5/SvelteKit pour veille-ia, consolidées depuis doc2sveltekit-transition (playbook, charte OKI, best practices).
2.5 KiB
Pousser un projet sur Gitea (labola.o-k-i.net)
Mémo rédigé le 2026-07-19 après la mise en ligne de gwada-sirius.
À relire avant de pousser un autre projet sur https://labola.o-k-i.net/cyber-mawonaj.
Prérequis déjà en place (setup unique, fait)
-
Instance Gitea :
https://labola.o-k-i.net, namespacecyber-mawonaj. -
Clé SSH dédiée :
~/.ssh/id_ed25519_gitea(sans passphrase), enregistrée dans Gitea → Paramètres → Clés SSH (https://labola.o-k-i.net/user/settings/keys). -
Entrée dans
~/.ssh/configpour utiliser cette clé automatiquement :Host labola.o-k-i.net IdentityFile ~/.ssh/id_ed25519_gitea IdentitiesOnly yes -
⚠️
id_rsa(et les autres clés du compte) ont une passphrase et ne fonctionnent pas en non-interactif (pas d'agent SSH). Toujours utiliserid_ed25519_gitea. -
Test de connexion :
ssh -T git@labola.o-k-i.netdoit répondreHi there, cyber-mawonaj! ...
Procédure pour un nouveau projet
-
Créer le dépôt vide sur Gitea (interface web) :
- Aller sur
https://labola.o-k-i.net/repo/create - Propriétaire :
cyber-mawonaj; nom : celui du projet - ⚠️ Décocher « Initialiser le dépôt » (pas de README/licence/.gitignore), sinon le premier push est refusé (historiques différents).
- Aller sur
-
Côté local, dans le dossier du projet :
- Vérifier l'état :
git status(commits présents, copie propre). - Vérifier que
.gitignoreexclutnode_modules/, les builds (_site/,dist/…),.env.
- Vérifier l'état :
-
Ajouter le remote (garder
originsi un remote GitHub existe déjà) :git remote add gitea git@labola.o-k-i.net:cyber-mawonaj/<nom-du-projet>.git -
Pousser (demander confirmation à l'utilisateur avant) :
git push -u gitea main # ou master, vérifier avec `git branch --show-current` -
Vérifier :
git ls-remote gitea maindoit afficher le même hash quegit rev-parse main.
Effets de bord à connaître
- Après
git push -u gitea main, la branche suitgitea/main: un simplegit pushira vers Gitea. Pour GitHub :git push origin mainexplicite. - Si la clé SSH est refusée (
Permission denied (publickey)) : vérifier que la clé est bien enregistrée dans Gitea et que l'entréeHost labola.o-k-i.netexiste dans~/.ssh/config. - Alternative à l'interface web pour créer le dépôt : l'API Gitea avec un token
(
POST /api/v1/orgs/cyber-mawonaj/repos), non utilisée ici.