From d14f938383ed483586dc366cb23b0a97101eaede Mon Sep 17 00:00:00 2001
From: Jan Keromnes <jan.keromnes@typefox.io>
Date: Wed, 16 Jan 2019 16:11:17 +0000
Subject: [PATCH] Make code contributions easier with Gitpod

---
 .gitpod.yml | 6 ++++++
 README.md   | 4 ++++
 2 files changed, 10 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 00000000000000..6c954d3296c15f
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,6 @@
+ports:
+  - port: 8080
+  - port: 3000
+tasks:
+  - init: npm install && npm run build
+    command: node server 8080 0.0.0.0
diff --git a/README.md b/README.md
index 7ccf7924a21bb1..84d42caf5c4051 100644
--- a/README.md
+++ b/README.md
@@ -107,6 +107,10 @@ You can read a [tutorial on how to add a badge][tutorial].
 4. Run `npm start` to start the server.
 5. Open `http://localhost:3000/` to view the frontend.
 
+Alternatively, you can start a readily configured online workspace using Gitpod:
+
+[![GitHub issues by-label](https://img.shields.io/badge/Gitpod-code%20now-blue.svg?logo=gitpod)](https://gitpod.io/#https://github.com/badges/shields)
+
 To generate the frontend using production cache settings &ndash; that is,
 badge preview URIs with `maxAge` &ndash; run `LONG_CACHE=true npm run build`.