directly get repo full name from github API, no need anymore for hask-ish string parsing.