Deleting a branch is permanent. It CANNOT be undone. Continue?
10400
into master
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?
Désolé, c'était juste un essai. GH n'est pas pour moi. :-)