Re: [racket-dev] prs

2011-01-05 Thread Ryan Culpepper
I caught up on bug assignment from the holidays on Monday, so they were probably assigned then. I think there were two bugs assigned to the new contract category, so maybe the problem is in the category's configuration. If that doesn't sound right, can you send me the PR numbers? Ryan On

Re: [racket-dev] prs

2011-01-05 Thread Eli Barzilay
FWIW, the configuration of that category looks fine. Three hours ago, Ryan Culpepper wrote: I caught up on bug assignment from the holidays on Monday, so they were probably assigned then. I think there were two bugs assigned to the new contract category, so maybe the problem is in the

Re: [racket-dev] prs

2011-01-05 Thread Robby Findler
In answer to Ryan, I don't think that I've gotten any such messages in a while and I think that these two PRs are ones where I was surprised that I didn't get a message, because my name was already on them. 11587 11548 Robby On Wed, Jan 5, 2011 at 3:01 PM, Eli Barzilay e...@barzilay.org

Re: [racket-dev] prs

2011-01-05 Thread Robby Findler
Oh. That probably explains it. I do prefer to get email when I'm assigned a bug so I can respond to it. Silently making me responsible for a bug seems like a good way for that bug to be ignored. Robby On Wednesday, January 5, 2011, Ryan Culpepper ry...@ccs.neu.edu wrote: Do you normally get

Re: [racket-dev] prs

2011-01-05 Thread Eli Barzilay
I didn't know that it doesn't send out emails to the responsible if it was set by changing the category... It does sound like a problem if it doesn't do that. I'll try to play with it. 9 minutes ago, Robby Findler wrote: Oh. That probably explains it. I do prefer to get email when I'm

Re: [racket-dev] prs

2011-01-05 Thread Matthias Felleisen
Most of the time I do get email when Ryan assigns me a bug On Jan 5, 2011, at 5:43 PM, Eli Barzilay wrote: I didn't know that it doesn't send out emails to the responsible if it was set by changing the category... It does sound like a problem if it doesn't do that. I'll try to play with