Support filtering by repo for github.  Fixes #72.