Re: GitHub Issues for DEP repository?

On Wed, May 11, 2016 at 1:11 PM, Carl Meyer wrote: > So I'd personally be > fine with a PR to amend this section to remove mention of private > contact. Jacob, I think you wrote this (or adapted it from PEP 1) -- any > thoughts? > I don't recall why that's in there; I'm

Re: GitHub Issues for DEP repository?

Hi Kevin, On 05/10/2016 11:24 PM, Kevin Christopher Henry wrote: > With all the talk of DEPs flying around I thought I'd finally take a > look at one in detail. > > I wanted to make a suggestion about it and realized that there wasn't > really a good place to do so. The issue was too minor for a

GitHub Issues for DEP repository?

Hello, With all the talk of DEPs flying around I thought I'd finally take a look at one in detail. I wanted to make a suggestion about it and realized that there wasn't really a good place to do so. The issue was too minor for a mailing list discussion, and there was no open pull request to