Bonjour Jean-Philippe, Dixit Jean-Philippe MENGUAL, le 29/03/2020 : >So currently the situation is: >- I start a page (eg. find) >- the loop is long (about 1 month for such page) >- before pushing, git tells me "no, please git pull first" >- pull fails because between the beginning of the loop and now, find >was changed (I guess an automation)
J'ai deux techniques pour ce genre de situation. $ git pull ...travail... $ git stash #remise les modifs $ git pull $ git pop #ré-applique les modifs remisées $ git commit $ git push Ou bien $ git pull ...travail... $ git commit $ git pull --rebase #essaie de réappliquer tes modifs après avoir tiré $ git push Voir git help $option pour plus de détail. Baptiste
pgp5DWwmw5BK0.pgp
Description: Signature digitale OpenPGP