有关git push origin HEAD:refs/for/

Git push 常见用法 https://www.cnblogs.com/webljl/p/13917664.html

关于refs/for/ 和refs/heads/ https://www.cnblogs.com/0616--ataozhijia/p/4165052.html

Git refs/for/ 和 refs/heads/ https://blog.mimvp.com/article/16306.html