git pull 和 git pull origin develop 都用于从远程仓库拉取代码。然而，它们之间有一些关键区别：

1. 代码来源：git pull 拉取的是远程仓库的最新代码。如果你的远程仓库包含了特定的分支（如 develop），那么 git pull 将拉取最新的 develop 分支代码。然而，如果你的远程仓库包含了其他分支（如 master），那么 git pull 将拉取最新的 master 分支代码。

2. 开发工作目录：git pull 拉取的是你的当前工作目录中的代码。如果你的当前工作目录包含了特定的分支（如 develop），那么 git pull 将拉取当前工作目录中的 develop 分支代码。然而，如果你的当前工作目录包含了其他分支（如 master），那么 git pull 将拉取当前工作目录中的 master 分支代码。

3. 提交信息：git pull 将提交信息（如分支名称、提交人和时间等）添加到你的本地工作目录中。如果你的远程仓库包含了特定的分支（如 develop），那么 git pull 将将这些提交信息添加到 develop 分支的提交信息中。然而，如果你的远程仓库包含了其他分支（如 master），那么 git pull 将将这些提交信息添加到 master 分支的提交信息中。

4. 代码同步：git pull 同步了你的本地工作目录中的代码到远程仓库中。这意味着你将能够查看和使用远程仓库中的代码。然而，如果远程仓库中包含了你尚未提交的代码，那么 git pull 将会失败。

5. 分支合并：git pull 同步了远程仓库中最新的代码，并将它们合并到你的本地工作目录中。这意味着你的本地工作目录将包含远程仓库的最新代码。然而，如果远程仓库中包含了你尚未提交的代码，那么 git pull 将会失败，并且将需要手动处理分支合并。

综上所述，git pull 和 git pull origin develop 都用于从远程仓库拉取代码，但是它们在代码来源、开发工作目录、提交信息、代码同步和分支合并等方面存在一些区别。在实际使用中，你需要根据你的需求和环境来选择合适的命令。