From 36b9f21966cb864979f2e1fc8bd8c922a356b81b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Mon, 29 Mar 2021 14:22:43 +0200 Subject: [PATCH] switch to use "main" branch --- publish.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.py b/publish.py index 0510a00..cbbdabd 100755 --- a/publish.py +++ b/publish.py @@ -203,7 +203,7 @@ for module in modules: continue module['branch'] = 'dev' - publish_mallard(module, 'master', 'dev') + publish_mallard(module, 'main', 'dev') for js_file in os.listdir('js'): shutil.copy('js/' + js_file, web_directory)