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

GitHub
1

To fix the issue, you need to preserve your .git/config file before running git-filter-repo, and then revert it back to the original state:

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