Re: ***UNCHECKED*** Import d'un repo perso dans la forge SPIP

Le 28/01/2020 à 11:26, Jean Marie Grall a écrit :
> Salut,
> 
> comment ça se passe pour intégrer des repo persos dans la forge commune 
> ? J'ai cru comprendre qu'on pouvait, depuis GitLab, conserver 
> l'historique des commits et tout...
> Mon repo : https://gitlab.com/jmoupah/html5up_forty
C'est pas depuis gitlab, c'est depuis git. Le principe de git est chaque 
repo, qu'il soit distant ou local, possède un historique, et qu'on peut 
synchroniser les historiques entre les repos


Pour ton besoin, et pour faire court (il y a d'autres méthodes bien sûr)
1. Tu clone en local ton repo
2. Tu crée un autre repos distant
3. Tu le référence dans ton repos local avec git remote add 
<unnomdetonchoix> <lurldureposdistant>
4. Tu fait git push <unnomdetonchoix>

<unnomdetonchoix> correspond au nom qui permet de référencer depuis ton 
repos local un repos distant.

par convention, lorsqu'on clone une depot distant, il est référencé avec 
le nom origin comme dépot local. Mais tu peux en référencer plusieurs.
Une pratique courante est
1) upstream pour désigner le repos communautaire/officiel du projet
2) origin pour designer le repos distant "personnel"

Tout dépend en fait si tu veux garder ou pas ton repos distant perso.

Si jamais tu ne souhaite plus garder qu'un seul dépot distant comme 
depot de reférence, tu peux aussi simplement modifier l'url
git remote set-url origin <lurl du repos disttant>
> 
> Et plus généralement, comment on fait pour créer un repo sur la forge ? 
> On peut le faire par le bouton create ou il y a un "protocole" ?
> 
j'ai cru comprendre que c'était désormais possible (cf mail de camille 
sur la mise à jour de gitea. par contre je ne sais pas si cela 
syncrhonise automatiquement avec la zone, j'ai cru comprendre qu'il 
fallait encore une intervention humaine, pour l'instant
>                  jean marie
>