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