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