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