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