diff --git a/contrib/push_locale b/contrib/push_locale old mode 100644 new mode 100755