diff options
author | 2017-05-18 09:48:29 +0100 | |
---|---|---|
committer | 2017-05-18 09:48:29 +0100 | |
commit | cfd433e3367b3df607550e95b6110e431d9a6a4c (patch) | |
tree | b282187c6f6dc4a9dce7cf3f7d435db99bbe5890 /ci/utility/check_git_repo.sh | |
parent | 4e65c884d5863c3737d819dde75edd0f037bba6a (diff) |
ci: update script permissions
Change-Id: Id6db827036b99603928f4f468d9febb591703ec2
Signed-off-by: Maryam Tahhan <maryam.tahhan@intel.com>
Diffstat (limited to 'ci/utility/check_git_repo.sh')
-rwxr-xr-x[-rw-r--r--] | ci/utility/check_git_repo.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ci/utility/check_git_repo.sh b/ci/utility/check_git_repo.sh index f7ad0a8f..f7ad0a8f 100644..100755 --- a/ci/utility/check_git_repo.sh +++ b/ci/utility/check_git_repo.sh |