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