force gitmove

This commit is contained in:
Krishna Vedala 2020-05-30 14:07:19 -04:00
parent d5e3a3d5ae
commit e20b81fa84

View File

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