`git push —-force` some malware would like a word. I skimmed, did the article mention this?