Ajoute un git pull avant push dans Publier.bat #19
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/publier-bat-pull"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Evite un push rejete quand une branche a ete fusionnee sur main entre
deux publications d'Olivier. Utilise --rebase --autostash pour eviter
un commit de fusion inutile ; en cas de conflit, affiche un message en
francais et s'arrete sans pousser.
Ajoute aussi .gitattributes (*.bat text eol=crlf) pour garantir que
Publier.bat est toujours extrait en CRLF, quel que soit le parametre
core.autocrlf de la machine qui clone le depot -- sans ca, cmd.exe
coupe les commandes au mauvais endroit.