trim extra "github.com" from repo github HTML URL