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?

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?

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?

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.