<div dir="ltr">I use it and have not migrated to Github. But, it is no biggie for me one way or the other.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Apr 13, 2014 at 5:17 AM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Does anyone else find it has value?<span class="HOEnZb"><font color="#888888"><div><br></div></font></span><div><span class="HOEnZb"><font color="#888888">Robby</font></span><div>
<div class="h5"><br><br>On Sunday, April 13, 2014, Neil Van Dyke <<a href="mailto:neil@neilvandyke.org" target="_blank">neil@neilvandyke.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Can the PLaneT bug-tracking system be shut down, please?<br>
<br>
(I have never wanted my packages to be in the PLaneT bug-tracking system.  It has never been anything for me but counterproductive and annoying.  It was not there when I first added my packages to PLaneT.  I really-really want to opt-out of it.  But maybe whoever maintains it will decide that shutting it down is less work than adding an opt-out feature.)<br>


<br>
Neil V.<br>
<br>
_________________________<br>
 Racket Developers list:<br>
 <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/<u></u>dev</a><br>
</blockquote></div></div></div>
<br>_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br></blockquote></div><br></div>