Update promote script to push to new github repo connected to api.dartino.org

tools/promote.py

Index: tools/promote.py
diff --git a/tools/promote.py b/tools/promote.py
index 550367873633fc1a8fac7f21fd35cb748cbb9636..0873de55c93637ff059ee58a93f4ec6817148e58 100755
--- a/tools/promote.py
+++ b/tools/promote.py
@@ -97,16 +97,14 @@ def Main():
     local_docs = os.path.join(temp_dir, 'docs')
     with utils.ChangedWorkingDirectory(temp_dir):
       print 'Cloning the dartino-api repo'
-      Run(['git', 'clone', 'git@github.com:dartino/api.git'])
+      Run(['git', 'clone', 'git@github.com:dartino/api.dartino.org.git'])
       apidir = '.' if dryrun else os.path.join(temp_dir, 'api')
       with utils.ChangedWorkingDirectory(apidir):
-        print 'Checking out gh-pages which serves our documentation'
-        Run(['git', 'checkout', 'gh-pages'])
         print 'Cleaning out old version of docs locally'
-        Run(['git', 'rm', '-r', '*'])
+        Run(['git', 'rm', '-r', 'public/*'])
         # shell=True to allow us to expand the *.
         print 'Copying in new docs'
-        Run(['cp', '-r', os.path.join(local_docs, '*'), '.'], shell=True)
+        Run(['cp', '-r', os.path.join(local_docs, '*'), 'public'], shell=True)
         print 'Git adding all new docs'
         Run(['git', 'add', '*'])
         print 'Commiting docs locally'