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