SourceSup va servir de dépôt de référence pour vos projets versionnés avec Git.
Nous allons voir comment propager partager vos “modifications locales” sur SourceSup.
Pré-requis sur Sourcesup : avoir une paire de clés asymétriques
git clone ssh://<nom utilisateur unix>@git.renater.fr:2222/scmrepos/git/nom_projet.git
git pull ssh://<nom utilisateur unix>@git.renater.fr:2222/scmrepos/git/nom_projet.git
Les changements s'il y en a sont alors fusionnés avec les vôtres.
git log -p
git push ssh://<nom utilisateur unix>@git.renater.fr:2222/scmrepos/git/nom_projet.git nom_branche_concernee (par défaut la branche principale est master)
git log -p pour connaître le numéro du commit git revert identifiant_du_commit
git push [dépôt] --delete [nom-branche]
erreur possible lors d'un push : Permission denied (publickey)
dans ce cas exécuter la commande suivante :
ssh-add -l
Cela dira si votre clé est bien ajoutée à votre configuration ssh.