new: adding some dokku remotes

bin/sync_git_repos.py

@@ -18,6 +18,10 @@ def init_repo(repo_name, repo_fp, remote, remote_name, callbacks,
         print('already cloned %s' % remote)
 
         repo = pygit2.Repository(repo)
+        try:
+            repo.remotes[remote_name]
+        except:
+            repo.remotes.create(remote_name, remote)
 
     for peer in github_peers:
         url = 'ssh://git@github.com/%s/%s' % (peer, repo_name)

repos.ini

@@ -18,6 +18,17 @@ repos=
       thermokar.st,
       zettel,
 
+[personal-dokku]
+workspace=~/projects/personal
+remote_host=dokku@pingo.thermokar.st
+remote_name=dokku
+github_peers=
+repos=
+      akdillon,
+      planner,
+      thermokar.st,
+      zettel,
+
 [mds]
 workspace=~/projects/mds
 remote_host=git@pingo.thermokar.st
@@ -56,7 +67,7 @@ repos=
 workspace=~/projects/qiime2
 remote_host=git@github.com/qiime2
 remote_name=qiime2
-github_peers=ebolyen,gregcaporaso,ChrisKeefe,Oddant1,nbokulich,andrewsanchez,cherman2,thermokarst-forks
+github_peers=ebolyen,gregcaporaso,ChrisKeefe,Oddant1,nbokulich,andrewsanchez,cherman2,thermokarst-forks,Keegan-Evans,lizgehret
 repos=
       Keemei,
       action-library-packaging,