ddbbe6e15c
* extend models.IssuesOptions to have more specific repo filter options * use new options * unrelated refactor * rm RepoIDs