diff --git a/.github/format.sh b/.github/format.sh index 247f732e0f..e416765427 100755 --- a/.github/format.sh +++ b/.github/format.sh @@ -33,7 +33,7 @@ do # Check if tab are present. egrep -Hn $'\t' $FILE && TAB_FOUND=1 || true ;; - *.pdf|*.hdf5|*.jpg|*.png|*.ppt|*.pptx|*.ipe) + *.pdf|*.hdf5|*.jpg|*.patch|*.png|*.ppt|*.pptx|*.ipe) # Exclude some binary files types, # others can be excluded as needed. ;;