Sorry, the repository raspberrypi.git does not have a 415fe8988e579c3185c7ba074733859506c1c7c3 branch!