fix github_get_head()