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