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