Vue normale

Il y a de nouveaux articles disponibles, cliquez pour rafraîchir la page.
À partir d’avant-hierLenny

Very Serious Business - Raid de 4chan contre une convention sur l'agilité

14 octobre 2019 à 21:38

Je viens de tomber sur la dernière video d'internet historian, je me suis dit que le sujet vous parlerais

@kysofer Quand tu me parlais de bruno le salé je t'avais mentionné l'internet historian, c'est l'occasion d'y jeter un oeil

Si ça vous plait, il avait aussi fait une série sur les raids contre le mouvement he will not divide us de Shia Leboeuf, c'est vraiment hyper marrant de voir tout le cheminement

https://www.youtube.com/watch?v=_p4h3jwJob0&list=PLHTeAiqTTlUgv17EkpWRX9vHIelEvOJVm
Permalien

Git : Supprimer les modifications d'un fichier dans le dernier commit (en local)

12 novembre 2019 à 14:18

Imaginons que je travaille sur un répo qui contient un fichier binaire (comme un document word ou un tableau excel)

J'ai fait des modifications de mon coté que j'ai push et mon collègue en a fait aussi, au moment de pull les changements distants avant de push les siens, il se rend compte que le merge plante a cause d'un conflit dans le fameux fichier binaire.

Il va devoir annuler les changements de son coté, tirer la version la plus récente et remettre ses changements par dessus à la main.

Pour commencer, il doit arreter la procédure de merge (et donc annuler son pull) :

git merge --abort

Ensuite il doit ensuite retirer son fichier de son dernier commit (HEAD^ représentant le dernier commit local) :

git reset HEAD^ fichier/qui/pose/probleme.docx
git commit --amend

Puis supprimer ses changements locaux (ou les mettre de coté pour récuperer le contenu apres le pull)

git checkout -- fichier/qui/pose/probleme.docx

et enfin il pourra pull la version distante qui posait problème avec un git pull
Permalien

❌
❌