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