Chris Angelico <ros...@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? -- https://mail.python.org/mailman/listinfo/python-list