adding link to github repo in html