[U] Update deploy script

2022-11-15 23:37:09 -05:00
parent 673d995618
commit 8235a400f0
3 changed files with 11 additions and 2 deletions
@@ -96,7 +96,7 @@ if __name__ == '__main__':

    # Push
    print()
-    print('Pushing...')
+    assert input('Push? [Enter/N]') == ""
    os.system('git push')

    copy_comment()