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

It will check out the appropriate version of file being examined in the IDE and, when working on a GitHub issue, it will create a git branch and set the commit ... which simplifies adding support for ...