Programmer picks: Seven great GitHub integrations

Third-party integrations extend powerful functionality to the red-hot repository-hosting site