Index: sky/tools/big_red_button.py |
diff --git a/sky/tools/big_red_button.py b/sky/tools/big_red_button.py |
index 1ec803406274cbbde3c05d6df39022c17a4afdbf..f148ecd9eb3fcf22e92f29e56d1cb6a8edec54f8 100755 |
--- a/sky/tools/big_red_button.py |
+++ b/sky/tools/big_red_button.py |
@@ -90,6 +90,7 @@ def main(): |
run(mojo_root, ['mojo/tools/mojob.py', 'build', '--android', '--release']) |
# Run tests? |
+ run(sky_sdk_root, ['git', 'fetch']) |
run(sky_sdk_root, ['git', 'reset', '--hard', 'origin/master']) |
run(mojo_root, [ |
'sky/tools/deploy_sdk.py', |
@@ -99,6 +100,7 @@ def main(): |
]) |
# tag for version? |
+ run(demo_site_root, ['git', 'fetch']) |
run(demo_site_root, ['git', 'reset', '--hard', 'origin/master']) |
run(mojo_root, ['mojo/tools/deploy_domokit_site.py', demo_site_root]) |
# tag for version? |