From 6a72ddd3e1975c53043db7105b581e1ee52f6ab8 Mon Sep 17 00:00:00 2001
From: Oliver Kopp <1366654+koppor@users.noreply.github.com>
Date: Wed, 22 Jun 2022 22:35:12 +0200
Subject: [PATCH] Add gitpod config (#8921)

---
 .gitpod.Dockerfile | 8 ++++++++
 .gitpod.yml        | 8 ++++++++
 README.md          | 2 +-
 3 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 .gitpod.Dockerfile
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
new file mode 100644
index 00000000000..86a0be3410e
--- /dev/null
+++ b/.gitpod.Dockerfile
@@ -0,0 +1,8 @@
+# See https://www.gitpod.io/docs/java-in-gitpod/ for a full documentation of Java in GitPod
+
+FROM gitpod/workspace-full
+
+# All available versions can be listed using sdk ls java
+# More information about SDKMAN available at https://github.com/sdkman/sdkman-cli#sdkman-cli
+RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \
+             && sdk install java 18.0.1.1-open)"
diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 00000000000..ca3b96bdf76
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,8 @@
+image:
+  file: .gitpod.Dockerfile
+tasks:
+  - init: ./gradlew assemble
+vscode:
+  extensions:
+    - redhat.java
+    - vscjava
diff --git a/README.md b/README.md
index fecab06fd8d..23cc6f637f6 100644
--- a/README.md
+++ b/README.md
@@ -71,7 +71,7 @@ An explanation of donation possibilities and usage of donations is available at
 [![OpenHub](https://www.openhub.net/p/jabref/widgets/project_thin_badge.gif)](https://www.openhub.net/p/jabref)
 [![Deployment Status](https://github.com/JabRef/jabref/workflows/Deployment/badge.svg)](https://github.com/JabRef/jabref/actions?query=workflow%3ADeployment)
 [![Test Status](https://github.com/JabRef/jabref/workflows/Tests/badge.svg)](https://github.com/JabRef/jabref/actions?query=workflow%3ATests)
-[![codecov.io](https://codecov.io/github/JabRef/jabref/coverage.svg?branch=master)](https://codecov.io/github/JabRef/jabref?branch=master)
+[![codecov.io](https://codecov.io/github/JabRef/jabref/coverage.svg?branch=master)](https://codecov.io/github/JabRef/jabref?branch=main)
 
 Want to be part of a free and open-source project that tens of thousands of scientists use every day?
 Check out the ways you can contribute, below: