First, add your GitHub repo as a push destination:
git remote set-url --add --push origin https://github.com/username/repo.gitNext, add your tangled repo (modify with your knot):
git remote set-url --add --push origin git@tangled.sh:@handle/repoThen, push your code as normal!
git pushIf you're having issues, git remote -v is your friend!