Quick hyperlink to visit someone's github.io

When you’re ~stalking~ visiting a random github profile and happen to see that they have a <username>.github.io repository, there is no quick way to visit that homepage. Your only options are

• Type out the URL, or
• Copy and paste that specific part of the webpage into the URL Box.

Request

Some sort of a quick “Go” button next to the repository name (both on the repository listing, and when you open the repository) which takes you to the webpage.

URLs where this should work

• Repository List
• User Homepage - In the case that the user has the repository pinned (I don’t)
• In the repository page

Additional Request

Maybe add it next to the Users profile photo if we detect that the user has a github.io page.

[fregante]

Yeah actually my comment only applied to the User’s profile, but both other locations make sense.

• on the repository list: add an icon (globe?) next to the name
• on repository root: if the URL isn’t already set in the sidebar, we can automatically add it there.

[kidonng]

Just want to mention that you can also drag the repository name (example.github.io) to browser’s tab bar to quickly open it. I use this trick myself.

Regarding the feature, it may not be qualified to go into Refined GitHub, in which case I can write a user script for it (if I find the time).