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