<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Fri, May 18, 2018 at 9:12 AM Robin Sommer &lt;<a href="mailto:robin@icir.org">robin@icir.org</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
That said, I&#39;m open to a real porting effort if people do believe it&#39;s<br>
helpful to get all the JIRA tickets into GitHub. What do others think?<br></blockquote><div><br></div><div>Having the historical tickets available are useful for searching to see if someone else had a similar issue and if there&#39;s a possible work-around. </div><div><br></div><div>How about a solution somewhere in the middle - push all the tickets over but mark the older/non-critical as &#39;won&#39;t fix&#39;. They&#39;ll come up in searches and can more easily be brought back alive if needed. </div><div><br></div><div>   ...alan</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Robin<br>
<br>
-- <br>
Robin Sommer * ICSI/LBNL * <a href="mailto:robin@icir.org" target="_blank">robin@icir.org</a> * <a href="http://www.icir.org/robin" rel="noreferrer" target="_blank">www.icir.org/robin</a><br>
_______________________________________________<br>
bro-dev mailing list<br>
<a href="mailto:bro-dev@bro.org" target="_blank">bro-dev@bro.org</a><br>
<a href="http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev" rel="noreferrer" target="_blank">http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev</a><br>
</blockquote></div></div>