Add Jenkinsfile to push image

Signed-off-by: Stefan Scherer <[email protected]>

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")
+                }
+            }
+        }
+    }
+}