Delete the bad git repository I accidentally added.
Work done on Sunday.