J'oublie toujours que le support de MarkDown chez GitHub ne permet pas de note en bas de page.
J'oublie encore trop souvent de ne pas utiliser GitHub lorsque j'ai le choix.
D'un autre côté gitlab ne permet pas de faire un rebase and merge, c'est dommage.
@im
C'est quoi exactement ?
@dragnucs Selon ce que je comprends, avec un merge tu ajoutes un commit, alors qu'un rebase and merge (en fait un git rebase de la branche source depuis la branche de destination) ne fait que rejouer les commit de la branche à intégrer sur la branche de destination.
Et ce serait, dans certains cas, dommage de se retrouver avec une master qui ne soit qu'une longue liste de commit "merge this into that". C'est du moins comme ça qu'on fonctionne au boulot.
@dragnucs Merci donc.
@im J'ai rien fait. De rien.
@dragnucs Ah bon ? J'ai cherché, mais sans trouver… Sauf à le faire en ligne de commande, ce qui ne me dérange pas.