diff --git a/Jenkinsfile b/dev-support/Jenkinsfile similarity index 100% rename from Jenkinsfile rename to dev-support/Jenkinsfile