Changed that to github one. Do I have to make another pull request? Please advise.