add repo filter to github.js