Re: [platform-dev] Bug 561001 - Debug console with command line history

[Chris Genly <genly@xxxxxxxxxxxxxxxxx>]

Thank you.  That does help.

 

---

From: Christoph <laeubi@xxxxxxxxxxxxxx>
To: platform-dev <platform-dev@xxxxxxxxxxx>
Date: Monday, 20 February 2023 10:07 AM PST
Subject: Re: [platform-dev] Bug 561001 - Debug console with command line history

Hi Chris,

the repository is now located here:

https://github.com/eclipse-platform/eclipse.platform.debug

You can just fork the repository, apply your patch and open a PR, make
sure the e-mail adress is used for the commit that you have signed the
ECA with and your Eclipse account contains the "Github User Name" in the
settings section.

Then one can simply discuss on the issue and/or PR ...

HTH