On Tue, 2008-08-12 at 13:14 -0400, David Zeuthen wrote: > > The name is DeviceKit, not devicekit. This needs to be fixed. > > This is now done. Cool, thanks. If you've checked out the projects, the easiest way is to just change all instances of devicekit to DeviceKit in .git/config and then just push and pull as normal. Richard.