From 4b7950658b3d7856df28d140d0067551e6574998 Mon Sep 17 00:00:00 2001
From: Andrew Steinborn <git@steinborn.me>
Date: Fri, 27 Oct 2023 01:50:27 -0400
Subject: [PATCH] Remove legacy repository cruft

This dates from the dark days when I dared to operate my own Jenkins instance. Never again.
---
 Jenkinsfile | 38 --------------------------------------
 1 file changed, 38 deletions(-)
 delete mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index 7176ec2a6..000000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,38 +0,0 @@
-pipeline {
-  agent none
-  options {
-    disableConcurrentBuilds()
-  }
-  stages {
-    stage('Build') {
-      agent {
-        docker {
-          image 'velocitypowered/openjdk8-plus-git:slim'
-          args '-v gradle-cache:/root/.gradle:rw'
-        }
-      }
-      steps {
-        sh './gradlew build --no-daemon'
-        archiveArtifacts 'proxy/build/libs/*-all.jar,api/build/libs/*-all.jar'
-      }
-    }
-    stage('Deploy') {
-      when {
-        expression {
-          GIT_BRANCH = sh(returnStdout: true, script: 'git rev-parse --abbrev-ref HEAD').trim()
-          return GIT_BRANCH == 'master'
-        }
-      }
-      agent {
-        docker {
-          image 'velocitypowered/openjdk8-plus-git:slim'
-          args '-v gradle-cache:/root/.gradle:rw -v maven-repo:/maven-repo:rw -v javadoc:/javadoc:rw'
-        }
-      }
-      steps {
-        sh 'export MAVEN_DEPLOYMENT=true; ./gradlew publish --no-daemon'
-        sh 'rsync -av --delete ./api/build/docs/javadoc/ /javadoc'
-      }
-    }
-  }
-}
\ No newline at end of file