Topics of closed merge request are still visible in local clone
When a merge request has been closed from heptapod UI, after pulling a local repository (which had the topic), the topic is still there.
I would expect that the topic would be cleaned like when a merge request is merged.