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