Pushing code to both Tangled and GitHub automatically

First, add your GitHub repo as a push destination:

git remote set-url --add --push origin https://github.com/username/repo.git

Next, add your tangled repo (modify with your knot):

git remote set-url --add --push origin git@tangled.sh:@handle/repo

Then, push your code as normal!

git push

If you're having issues, git remote -v is your friend!