Sorry, the repository raspberrypi.git does not have a 0007a0beea36408539e623d742787c38c03b5c80 branch!