delete a folder then git push
By Randal Kirlin at Feb 10 2021
delete .git folder
By Lora Konopelski at Mar 31 2020