Yea, i was a bit interested by that too. Probably already use it internally for other projects, and if they've integrated their internal tools with the GitHub API, it's a no-brainier.