Ezio Melotti added the comment: (FWIW I've been also considering having a 1:1 match between PR numbers and internal roundup ids for pull_requests, however this requires two step: 1) make sure that only one Roundup pull_request exists for each GitHub PR; 2) make sure that the PR numbers and Roundup ids match; I'd like to see point 1 implemented regardless. I first suggested it during review but since it was not trivial to do we decided to postpone it as not to block the GitHub migration any further. I'm not sure if point 2 can be implemented since the ids are auto-incremented and as far as I know they can't be changed.)
_______________________________________________________ PSF Meta Tracker <metatrac...@psf.upfronthosting.co.za> <http://psf.upfronthosting.co.za/roundup/meta/issue624> _______________________________________________________ _______________________________________________ Tracker-discuss mailing list Tracker-discuss@python.org https://mail.python.org/mailman/listinfo/tracker-discuss Code of Conduct: https://www.python.org/psf/codeofconduct/