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