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