Git裸仓库的分支（Active Branch）切换

Git裸仓库的Active Branch切换方法

在服务器上通过init --bare创建了一个裸仓库作为远程仓库使用，并且存在三个分支（master/kid/develop），但在使用中发现代码虽然能正常提交，但是远程仓库中没有显示我的提交记录，发现原来是远程仓库的活动分支在kid上，git log不会显示develop分支上的记录。但是通过git checkout develop会提示“fatal: This operation must be run in a work tree”。这是由于裸仓库是不能使用诸如git checkout之类的命令的。
之后发现，在远程仓库上切换分支，可以使用git symbolic-ref HEAD refs/heads/develop命令，这样就把Head切换到你想切换的分支上去啦