diff --git a/.github/scripts/public_loc.sh b/.github/scripts/publish_loc.sh old mode 100644 new mode 100755 similarity index 100% rename from .github/scripts/public_loc.sh rename to .github/scripts/publish_loc.sh