diff --git a/maintainer/add_missing_headers.sh b/maintainer/add_missing_headers.sh old mode 100644 new mode 100755 diff --git a/maintainer/find_potentially_missing_authors.sh b/maintainer/find_potentially_missing_authors.sh old mode 100644 new mode 100755