Die Syntax von push ist ja:

Quote

git push [remote-name] [branch-name]

.
Es entspricht
git push mathnet -f
einem
git push origin master --force