diff --git a/.github/verify_header.sh b/.github/verify_header.sh old mode 100644 new mode 100755