GitHub integration

search in commit messages and pull requests to see what's happening.