Closed bdahon closed 4 years ago
Bien vu ! Ma faute, désolé.
Pour résoudre simplement le soucis on peut merger la branche & la pousser. Pour merger :
git checkout master git pull -p git checkout develop git merge master
Si Romain/toi préférez éviter un git push sur develop, je ferais une PR de revert.
OK, je regarde pour résoudre
Bien vu ! Ma faute, désolé.
Pour résoudre simplement le soucis on peut merger la branche & la pousser. Pour merger :
Si Romain/toi préférez éviter un git push sur develop, je ferais une PR de revert.