Thank you. That does help. -----Original Message-----
From: Christoph <lae...@laeubi-soft.de> To: platform-dev <platform-dev@eclipse.org> 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
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
