tree 8b2e0b6d81a2c361abcc123e72afdd297bab383e
parent 30af23a141986fe9f6f773b8d1208b576baa6a89
author Denis Fortin <denis.fortin@adevinta.com> 1585070935 +0100
committer Denis Fortin <denis.fortin@adevinta.com> 1585868351 +0200

zoekt-mirror-github: add arguments to filter repos on topics criteria

Added `topic` and `exclude_topic` options to the zoekt-mirror-github command.
These options are lists.
Github repositories are now filtered according to the topics they have.

`topic` option will include only the repositories having at least on topic in the list.
`exclude_topic` will exclude the repositories having at least one topic in the list.
The two options can be combined:
`exclude_topic` filter is applied to repositories previously filtered with `topic`

Change-Id: I8dceb805cd1aa5455a03c7d3cc425795a614f1f0