corrected name for a github user repo