Unused get_github_url function
I tried on a repo without an "origin" remote and the function get_github_url(path)
failed. Given the only occurence github_url
in html_output()
is unused, I commented it and it beautifully worked
I let you judge if it should be removed or commented for a latter use.