+ git checkout -f 2772c90ca775b29fc488bd26bc15071dfb17cf12 HEAD is now at 2772c90c fix the debian apt list