From 7edc63ca830763482db840c93cd8e36a2c1cd873 Mon Sep 17 00:00:00 2001 From: developomp Date: Fri, 28 Jan 2022 11:15:50 +0900 Subject: [PATCH] change branch form dev to master --- setup.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/setup.py b/setup.py index f55f920..7007fb7 100755 --- a/setup.py +++ b/setup.py @@ -64,9 +64,8 @@ def minimal_initialization(): if os.path.exists(tmp_dir): rmtree(tmp_dir) - # todo: change branch to master when merging with master if os.system( - f"git clone --depth 1 -b dev https://github.com/developomp/setup.git {tmp_dir} &> /dev/null" + f"git clone --depth 1 https://github.com/developomp/setup.git {tmp_dir} &> /dev/null" ): print("Failed to clone repository", file=sys.stderr) exit(1)