git push 还有什么命令？

除了`git push -f`，还有其他几个常用的`git push`命令选项：

1. `git push`: 将本地分支的提交推送到远程仓库对应的分支。如果远程分支不存在，则会创建一个新的分支。
2. `git push origin <branch>`: 将本地分支的提交推送到远程仓库的指定分支。
3. `git push --all`: 将本地所有分支的提交推送到远程仓库。
4. `git push --tags`: 将本地所有标签推送到远程仓库。

这些命令选项可以根据你的需要来选择合适的方式进行代码推送。