+ git checkout -f 8abd63566031e3ec8351b40cfbdd4c225cfba085 HEAD is now at 8abd6356 Speed up the source package build