[plt-dev] usr repositories

From: Noel Welsh (noelwelsh at gmail.com)
Date: Sat Apr 17 16:31:10 EDT 2010

On Sat, Apr 17, 2010 at 9:28 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> That's tenable as an idea, but I'm not sure we're "there" yet.  There
> are components DrDr doesn't test, some kinds of bugs we have to ignore
> to get sanity (all the "changes"), and the system often gets many
> hours behind.

My suggestion: move to the UK. DrDr is always pretty snappy when the
US is asleep :)

Basically I don't have enough nor the same experience of developing
the PLT trunk so I'm just throwing out the ideas. I can't accurately
judge the cost/benefit ratio 'cause I don't do this stuff everyday.


Posted on the dev mailing list.