Thanks @Guy Hardonag indeed a silly question 🙂 I forgot to commit my branch before I merged (so there was nothing to delete). Thank you for the quick response!