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