Gitpod git-bolts git-IDE onto GitHub for in-browser code git-editing

Devs can deal with pull requests from Chrome

Developers who uses GitHub - 28 million at last count - now have the option to edit code with the click of a button using Gitpod, an integrated development environment (IDE) that can be launched directly from the social code hosting site."