From 01260eafabb9bb18d7bd414611f126deff5d8a8e Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Wed, 1 Dec 2021 11:17:36 +0100
Subject: [PATCH] fixed up some more stuff

---
 web/Jenkinsfile | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 web/Jenkinsfile

diff --git a/web/Jenkinsfile b/web/Jenkinsfile
deleted file mode 100644
index 560dc4a..0000000
--- a/web/Jenkinsfile
+++ /dev/null
@@ -1,15 +0,0 @@
-pipeline {
-  agent any
-  stages {
-    stage('Pull') {
-      when { 
-        branch 'main' 
-      }
-      steps {
-        sh '''cd /var/www/tinylifegame
-              git fetch
-              git checkout ${GIT_COMMIT} -f'''
-      }
-    }
-  }
-}
\ No newline at end of file