Select the types of activity you want to include in your feed.
zoekt-mirror-gerrit: delete stale repos (#282)
This change adds an option on gerrit mirror to delete repos that don't match mirror criteria anymore.
It also changes the DeleteRepos to handle repository names with multiple "/".