• Victor Porton (4/4) Mar 01 2019 How to amend an existing DIP? Should I submit another pull
• Mike Parker (4/8) Mar 01 2019 That depends on what you mean by "existing DIP". Do you mean one
• Victor Porton (2/11) Mar 02 2019 still in PR queue?
• Mike Parker (3/4) Mar 02 2019 In that case, submit your changes as a PR on the DIP author's

Victor Porton <porton narod.ru> writes:

How to amend an existing DIP? Should I submit another pull 
request?

If yes, to the main DIP repo or to the repo of the original DIP 
requester?

Mike Parker <aldacron gmail.com> writes:

On Friday, 1 March 2019 at 17:24:16 UTC, Victor Porton wrote:
 How to amend an existing DIP? Should I submit another pull 
 request?

 If yes, to the main DIP repo or to the repo of the original DIP 
 requester?

That depends on what you mean by "existing DIP". Do you mean one 
that already has been assigned a number or one that is still in 
the PR queue?

Victor Porton <porton narod.ru> writes:

On Saturday, 2 March 2019 at 03:13:23 UTC, Mike Parker wrote:
 On Friday, 1 March 2019 at 17:24:16 UTC, Victor Porton wrote:
 How to amend an existing DIP? Should I submit another pull 
 request?

 If yes, to the main DIP repo or to the repo of the original 
 DIP requester?

 That depends on what you mean by "existing DIP". Do you mean 
 one that already has been assigned a number or one that is 
 still in the PR queue?

still in PR queue?

Mike Parker <aldacron gmail.com> writes:

On Saturday, 2 March 2019 at 17:00:48 UTC, Victor Porton wrote:

 still in PR queue?

In that case, submit your changes as a PR on the DIP author's 
fork.