Re: [racket-dev] [plt] Push #27967: master branch updated

2013-12-20 Thread Robby Findler
Community seems ok to me. Robby On Friday, December 20, 2013, wrote: > jay has updated `master' from 438942c059 to 9012f7b3d6. > http://git.racket-lang.org/plt/438942c059..9012f7b3d6 > > =[ 5 Commits ]== > Directory summary: > 85.5% pkg

Re: [racket-dev] [plt] Push #27967: master branch updated

2013-12-20 Thread Sam Tobin-Hochstadt
On Fri, Dec 20, 2013 at 6:35 PM, Jay McCarthy wrote: > Where should we put the link to Planet? > > - Main page > - New place > - Community > - Keep it on the navbar with packages > > I can see good and bad things with most. I think "Main Page" & "Community" both is the right choice. I also shoul

Re: [racket-dev] [plt] Push #27967: master branch updated

2013-12-20 Thread Jay McCarthy
Where should we put the link to Planet? - Main page - New place - Community - Keep it on the navbar with packages I can see good and bad things with most. On Fri, Dec 20, 2013 at 4:32 PM, wrote: > jay has updated `master' from 438942c059 to 9012f7b3d6. > http://git.racket-lang.org/plt/438942