From a9a4a1fca0ed4767b96e6d9b9e16f1b8324d4e28 Mon Sep 17 00:00:00 2001
From: Stefan Scherer <scherer_stefan@icloud.com>
Date: Thu, 2 Jul 2020 18:53:36 +0200
Subject: [PATCH] Add Jenkinsfile to push image

Signed-off-by: Stefan Scherer <scherer_stefan@icloud.com>
---
 Jenkinsfile | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..97c6258
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,22 @@
+pipeline {
+    options {
+        timeout(time: 1, unit: 'HOURS')
+    }
+    agent {
+        label 'ubuntu-1804 && amd64 && docker'
+    }
+    stages {
+        stage('build and push') {
+            when {
+                branch 'master'
+            }
+            sh "docker build docker/getting-started ."
+
+            steps {
+                withDockerRegistry([url: "", credentialsId: "dockerbuildbot-index.docker.io"]) {
+                    sh("docker push docker/getting-started")
+                }
+            }
+        }
+    }
+}
\ No newline at end of file