I found it's easy to have both a codaset and github repository that point to the same local repository. In my local repo, I typed:
git remote add github git@githum.com:mikeaustin/impulse-language.git
Now I can do "git remote update" and pull from both, and "git push origin" and "git push github" to update both repositories.
pull/push from multiple remote locations
[stackoverflow.com]
