<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>It is eclipse error reporting. </div><div id="AppleMailSignature">Noticed that little pop up asking to submit errors to <a href="http://eclipse.org">eclipse.org</a> ?</div><div id="AppleMailSignature"><br></div><div id="AppleMailSignature">We've made it so we can hook in our our backend to receive reports related to all JBoss plugins incl. forge. <br><br>/max<div><a href="http://about.me/maxandersen">http://about.me/maxandersen</a></div><div><br></div></div><div><br>On 16 Feb 2016, at 01:19, George Gastaldi <<a href="mailto:ggastald@redhat.com">ggastald@redhat.com</a>> wrote:<br><br></div><blockquote type="cite"><div><p dir="ltr">Sorry for my ignorance, but what is Aeri? Are there any docs explaining it?</p>
<div class="gmail_quote">Em 15/02/2016 22:04, "Alexey Kazakov" <<a href="mailto:alkazako@redhat.com">alkazako@redhat.com</a>> escreveu:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
If choosing from A) and B) I would go for B) and add a dependency
(hard one or or greedy optional?) to the Usage.<br>
<br>
<br>
<div>On 02/15/2016 06:47 PM, Max Rydahl
Andersen wrote:<br>
</div>
<blockquote type="cite">
<div>
<p dir="auto">Hey,</p>
<p dir="auto">I'm working on the inclusion of Aeri into JBoss
Tools.</p>
<p dir="auto">Initial PR is at <a href="https://github.com/jbosstools/jbosstools-base/pull/483" target="_blank">https://github.com/jbosstools/jbosstools-base/pull/483</a></p>
<p dir="auto">I would like to include this into JBoss Tools 4.3
CR1 (the one using Mars.2).</p>
<p dir="auto">I see two options:</p>
<p dir="auto">A) add separate plugin (that is what separate PR
does now) and users will have<br>
to manually add it, unless we add it to every overall feature
like we have done for usage.</p>
<p dir="auto">B) add this extension point + dependency on aeri
plugin into our usage plugin.</p>
<p dir="auto">With B we get the biggest exposure by far - but we
will add a base dependency to Aeri for <em>every</em> plugin
we have.</p>
<p dir="auto">Suggestions welcome on how we can make Aeri
available to most people with the smallest impact :)</p>
<p dir="auto">/max<br>
<a href="http://about.me/maxandersen" target="_blank">http://about.me/maxandersen</a></p>
</div>
<br>
<fieldset></fieldset>
<br>
<pre>_______________________________________________
jbosstools-dev mailing list
<a href="mailto:jbosstools-dev@lists.jboss.org" target="_blank">jbosstools-dev@lists.jboss.org</a>
<a href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a></pre>
</blockquote>
<br>
</div>
<br>_______________________________________________<br>
jbosstools-dev mailing list<br>
<a href="mailto:jbosstools-dev@lists.jboss.org">jbosstools-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev" rel="noreferrer" target="_blank">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a><br></blockquote></div>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>jbosstools-dev mailing list</span><br><span><a href="mailto:jbosstools-dev@lists.jboss.org">jbosstools-dev@lists.jboss.org</a></span><br><span><a href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a></span></div></blockquote></body></html>