<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>