How did I remove the `Amasty` folder from my Git repositories history following a DMCA takedown notice

Step 1

How did I install git-filter-repo to Windows?

Step 2

git clone <...> .
cp ./.git/config ../
git filter-repo --invert-paths --path app/code/Amasty
mv -f ../config ./.git
git push --force --all

How did I fix the «No configured push destination» error on git push after git-filter-repo?

Step 3

git push origin --force --tags


Step 4

How to clear cached views in a GitHub repository?