Is github now the preferred option for package bug reports?<div><br></div><div>Kind regards,</div><div><br></div><div>Stephen <span></span><br><br>On Sunday, 13 April 2014, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> 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?<div><br></div><div>Robby<br><br>On Sunday, April 13, 2014, Neil Van Dyke <<a href="javascript:_e(%7B%7D,'cvml','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>
</blockquote></div><br><br>-- <br>Sent from Gmail Mobile<br>