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