distinguish git-move command arguments

This commit is contained in:
Krishna Vedala 2020-05-30 14:11:01 -04:00
parent e20b81fa84
commit 62a2dbb978

View File

@ -38,7 +38,7 @@ jobs:
if [ ${fname} != ${new_fname} ]
then
echo " ${fname} --> ${new_fname}"
git "mv -f" "${fname}" ${new_fname}
git "mv" "-f" "${fname}" "${new_fname}"
fi
done
git commit -am "formatting filenames $GITHUB_SHA" || true