So how does the workflow work, if you're already using Github and want to keep hosting your projects there? Does it simply pull and push commits via an app token?