From 76655c2652f59604800096ebeec342779419bef3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Fri, 31 Mar 2023 09:26:05 +0200 Subject: [PATCH] tag: remove custom mapping for godo.js job name --- bin/tag | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/tag b/bin/tag index d00145c..42e315e 100755 --- a/bin/tag +++ b/bin/tag @@ -64,7 +64,7 @@ def main(): subprocess.check_call(['git', 'push', 'origin', new_tag_value]) if args.browser: module_name = os.getcwd().split('/')[-1] - jenkins_names = {'godo.js': 'godo'} + jenkins_names = {} # mapping for jenkins jobs != git module names module_name = jenkins_names.get(module_name, module_name) if module_name in ('publik-base-theme', 'combo-plugin-gnm', 'gadjo', 'godo'): # full build