[racket-dev] planet bug tracking system spam

2014-04-13 Thread Neil Van Dyke
Can the PLaneT bug-tracking system be shut down, please? (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

[racket-dev] zoom-to-fit-width text in new documentation layout

2014-04-13 Thread Neil Van Dyke
In the new documentation layout, the zoom-to-fit-width behavior is bad. I mentioned this before (http://lists.racket-lang.org/users/archive/2013-November/060480.html;), but I don't recall hearing any rationale, and it doesn't seem to have changed. Is this going to be changed, or do I have to

Re: [racket-dev] planet bug tracking system spam

2014-04-13 Thread Robby Findler
Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke n...@neilvandyke.org wrote: Can the PLaneT bug-tracking system be shut down, please? (I have never wanted my packages to be in the PLaneT bug-tracking system. It has never been anything for me but

Re: [racket-dev] planet bug tracking system spam

2014-04-13 Thread Stephen De Gabrielle
Is github now the preferred option for package bug reports? Kind regards, Stephen On Sunday, 13 April 2014, Robby Findler ro...@eecs.northwestern.edu wrote: Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke

Re: [racket-dev] planet bug tracking system spam

2014-04-13 Thread Robby Findler
I think that if you're using the new pkg system then github is a good way to go for lots of things your pkg has, including bug reports. Robby On Sun, Apr 13, 2014 at 9:49 AM, Stephen De Gabrielle spdegabrie...@gmail.com wrote: Is github now the preferred option for package bug reports? Kind