Add github-pulls, fix deepthoughts.