Prune bookmarks for removed Git branches when pulling

Merge request reports