<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 2022-08-08 22:41, Guoxiong Li wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAPSsVqgv8Yhr0_XrjJTqtg89ZhMN4EtYN5rTminkEiF_BmFpyQ@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">Hi Magnus,
<div><br>
</div>
<div>Thanks for your reply.</div>
<div><br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">It is certainly nice to
have access to github from the IDE. But this<br>
does not sound like it belongs in the jtreg plugin, so I
think you'd<br>
better create a new plugin for this.</blockquote>
<div><br class="gmail-Apple-interchange-newline">
Considering the features don't belong to the jtreg plugin,
my previous proposal </div>
<div>is not good enough to start. And I don't want to create a
new plugin for it now.</div>
<div> </div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">And "porting" is perhaps
being used<br>
very generously here, I assume you need to write a
completely new plugin<br>
for IDEA, but with similar functionality. But go ahead and
shamelessly<br>
copy all ideas you liked from my plugin!<br>
</blockquote>
<div><br>
</div>
<div>I apologize if my previous proposal offended you.</div>
</div>
</div>
</blockquote>
<p><br>
</p>
<p>I think there is some misunderstanding here. Your proposal do not
offend me. In the end, the maintainers of the jtreg idea plugin
will need to decide what functionality belongs there. I just said
what I was thinking, but I don't have anything to do with the idea
plugin.<br>
</p>
<p>/Magnus<br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:CAPSsVqgv8Yhr0_XrjJTqtg89ZhMN4EtYN5rTminkEiF_BmFpyQ@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<div>
<div><br>
</div>
<div>Best Regards,</div>
</div>
<div>-- Guoxiong </div>
</div>
</div>
</blockquote>
</body>
</html>