On Mon, 2007-07-23 at 15:20 +0100, Rob Taylor wrote: > It strikes me it might be useful to set up notifications for pushes to > the central repo. Should I request a new ohm-commits list, or should > we have them sent to to ohm-devel during this initial phase of the > project? I vote just send them to the mailing list. Richard.