Merge pull request #949 from nulltoken/topic/deploy_repository_set_head Deploy git_repository_set_head()
2012-10-08T15:25:44