Remove a reference to "bats" branch

ethan · Oct 5, 2018 · 05ee033ed21f7137852b2b9144bd9e4a97605916 · 05ee033
1 parent e7679b6
commit 05ee033ed21f7137852b2b9144bd9e4a97605916
Unified Split

Showing with 1 addition and 1 deletion.

+1 −1 Jenkinsfile
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
                 script {
                     maintainer = maintain()
                     imagename = imagename()
-                    if (env.BRANCH_NAME == "master" || env.BRANCH_NAME == "bats") {		// temporary
+                    if (env.BRANCH_NAME == "master") {
                        tag = "latest"
                     } else {
                        tag = env.BRANCH_NAME