Sorry, the repository raspberrypi.git does not have a 238918dad8dcb440f8f55a9ce3b15dd583d6d348 branch!