diff --git a/.github/scripts/extract_version_info.py b/.github/scripts/extract_version_info.py
old mode 100644
new mode 100755