fix: 🐛 Avoid useless clean when a file is reverted

Author: nedseb

.hooks/post-checkout

@@ -11,8 +11,12 @@ checkoutType=$3
 [[ $checkoutType == 1 ]] && checkoutType='branch' ||                             
                             checkoutType='file' ;                                
 
-echo 'Checkout type: '$checkoutType                                              
+echo 'Checkout type: '$checkoutType
+
 echo '    prev HEAD: '`git name-rev --name-only $prevHEAD`                       
 echo '     new HEAD: '`git name-rev --name-only $newHEAD`
 
+# this is a file checkout – do nothing
+if [ $checkoutType == 'file' ]; then exit; fi
+
 make clean