quick-start: How to purge old/obsolete topics?
When a merge-request based on one of my topics gets merged or closed, the topic still exists in my local repository. Same for other person's topics which get pulled into my local repo.
How can I get rid of old topics? Is there some “prune/purge topics not existing on the server” functionality?