Nov. 30, 2014
1:01 p.m.
On Sun, 30 Nov 2014 16:23:08 +1100 Chris Angelico <rosuav@gmail.com> wrote:
Yes, GitHub is proprietary. But all of your actual code is stored in git, which is free, and it's easy to push that to a new host somewhere else, or create your own host. This proposal is for repositories that don't need much in the way of issue trackers etc, so shifting away from GitHub shouldn't demand anything beyond moving the repos themselves.
I hope we're not proposing to move the issue trackers to github, otherwise I'm -1 on this PEP. Regards Antoine.