执行git push --force develop报错：'develop'不是Git仓库，求解决

嘿，我来帮你搞定这个推送报错的问题！

错误原因 #

你刚才执行的git push --force develop命令里，Git把develop当成了远程仓库的名称，但实际上你并没有配置过叫develop的远程仓库，所以才会抛出fatal: 'develop' does not appear to be a git repository的错误。

正确的推送命令 #

通常我们的远程仓库默认名称是origin，正确的推送格式需要指定「远程仓库名+分支名」，所以你应该执行：

git push --force origin develop

额外检查步骤 #

1. 先确认本地仓库已关联正确的远程仓库，执行以下命令查看远程仓库列表：

git remote -v

如果输出里没有origin指向https://github.com/JonkiPro/popcorn.git，那你需要先添加远程仓库：

git remote add origin https://github.com/JonkiPro/popcorn.git

（注意：不要用带tree/develop的网页地址，那是浏览器分支页面的链接，仓库地址需要去掉tree/develop部分）

2. 确认当前处于本地develop分支，执行：

git branch

当前分支前会有*标记，如果不在develop分支，先切换过去：

git checkout develop

重要提醒 #

使用--force参数一定要谨慎！它会直接覆盖远程develop分支的所有提交记录，如果团队里还有其他人在这个分支工作，很可能会丢失他们的更改。如果不是必须强制推送，建议用git push --force-with-lease替代，它会在远程分支没有新提交的情况下才允许强制推送，安全性更高。

内容的提问来源于stack exchange，提问作者JONKI