it did the trick ... but I had this pull request opened in my browser for a few days ...
and I haven't noticed it was closed.

Usually I go to the opened issues so I would have noticed it.
(I should not keep a tab opened for too long)