Chris Angelico <rosuav at gmail.com> writes: > If you're not using a GitHub PR, then what you're doing is using GH to > host your repository. So yes, you pull into your local repo and then > push to GH. What's the point of GH in that situation?