git push -> github (débutant)

[hary]

Bonjour.

Je débute avec git et github et à force d'essayer un peu tout, j'ai provoqué une situation un peu bloquée.

J'ai git sur plusieurs PC (en réalité PC Windows pour le travail et PC linux perso)

Je me suis fait la main depuis mon PC perso et ai fait un "git push" vers mon "repo perso" de github avec des exemples que je ne souhaite pas garder.

Mais maintenant, quand je veux faire un "git push" depuis le PC du travail, ça me dit que je dois faire un "git pull" avant, ce que je comprend pour éviter les conflits, mais ne souhaite pas faire car tout ce que j'ai "pushé" avant ne sont que des exemples.

Y a t-il un moyen de résoudre cette situation ?
-----

[invite0bbe92c0]

Bonjour

Mais maintenant, quand je veux faire un "git push" depuis le PC du travail, ça me dit que je dois faire un "git pull" avant, ce que je comprend pour éviter les conflits, mais ne souhaite pas faire car tout ce que j'ai "pushé" avant ne sont que des exemples.

Y a t-il un moyen de résoudre cette situation ?

Je dirais non car le principe est que ces actions visent à limiter les conflits entres les repositories git locaux et le repository "cloudé".

Du reste, je ne vois pas en quoi le fait de faire un pull (ce qui permettra de détecter les conflits) te pose problème.
Une fois que tes repositories seront synchro, il sera temps de faire le ménage.

[invitef35ebd48]

Y a t-il un moyen de résoudre cette situation ?

Tu peux forcer un push ( option -f ou --force).

C'est pas propre....mais ça marche.

[hary]

En fait j'ai réussi à effacer le proget initialement créé sur github en allant dans "settings" et j'ai pu (re) pusher le nouveau projet plus propre et mieux organisé.

[A voir en vidéo sur Futura]