Hi Brett, On 01/10/2016 03:54 AM, Brett Cannon wrote: > I'm developing it at > https://github.com/brettcannon/github-transition-pep/blob/master/pep-NNNN.rst > . > I'm not posting it here as I'm still actively writing it. The only reason > I'm mentioning it now is because the migration plan has been very roughly > outlined, so if it looks like I'm missing something, please let me know. > >
A question on point: Linking pull requests to issues =============================== Historically external contributions were attached to an issue on bugs.python.org [5] thanks to the fact that all external contributions were uploaded as a file. [...] * From GitHub [1]: Deleting your user account You can delete your GitHub user account at any time. Before you do so, you should hand over the reins of any organizations you might own. Deleting your user account removes all repositories, forks of private repositories, wikis, issues, pull requests, and pages. The account name also becomes available to anyone else to use on a new account, and we stop billing you. Is that case solved under the point """Backup of pull request data"""? (or where should point the issue-tracker if the user is gone?) Thanks, francis ---- [1] https://help.github.com/articles/deleting-your-user-account/ _______________________________________________ core-workflow mailing list [email protected] https://mail.python.org/mailman/listinfo/core-workflow This list is governed by the PSF Code of Conduct: https://www.python.org/psf/codeofconduct
