diff --git a/set_core_version.py b/scripts/set_core_version.py old mode 100644 new mode 100755 similarity index 100% rename from set_core_version.py rename to scripts/set_core_version.py