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