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