在日常开发中，我们常常遇到这样的场景，本地有个分支名字：developtemp，远程有个分支origin/develop，两个分支没有关联关系，而且分支名字不同，此时想提交代码。
//先拉取远程分支代码
git pull origin develop
//然后直接使用push提交代码
git push -u origin developtemp:develop当自己的本地分支落后于很多个git的版本时，我们pull以后代码，此时使用：
git status提示：*(HEAD detached from 02bba20), 02bba20是history push的一个版本号，此时可以这样解决：
git push origin HEAD：origin/develop
