In order to do a push this morning, I had to do a pull. Which suggested that I should probably rebuild; I started this process at 9:30 this morning (it is now 12:30) and I am only just started on rendering the docs (my changes involve changes to the docs). It is taking so long because there have been pushes since I pulled and those pushes required long rebuild times; well, that and my machine is slow.
So, this doesn't seem feasible. What do others do? If I had a way to push from my slow machine to my fast machine I could do the build and testing there, I think, and I would have been done hours ago, I expect. Is that a fruitful path to consider? Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev