4 Commits

Author	SHA1	Message	Date
Paul Melnikow	33389e352d	Tweak Gitpod config (#3934) ... This disables the comments like https://github.com/badges/shields/pull/3933#issuecomment-526905743 which seem a bit chatty, as the review apps can be accessed from the checks. This and also turns off builds for branches. For the most part we keep PRs open when branches are at a stage of being ready for useful review, so I think that should be sufficient for us.	2019-09-03 17:12:38 +00:00
Jan Keromnes	2f8704f0dc	Improve Gitpod automated setup (#3880) ... * Gitpod is no longer in Beta * Automatically open the web preview on start-up in Gitpod * Accelerate Gitpod start-up with continuously prebuilt workspaces * Install Prettier VS Code extension in Gitpod	2019-08-29 18:17:03 +00:00
Paul Melnikow	d2861b2438	Switch to npm ci (#3034)	2019-02-18 17:28:09 -06:00
Jan Keromnes	36956897e9	Make code contributions easier with Gitpod (#2783) ... Ref #2772	2019-01-21 11:44:53 -05:00