Open in (GitHub) Dev!

the click github.com, anywhere developer .dev!" on when repo that click to right in it experience! open better in link you page open a in on right convenience: for github.dev. repo github and easily a click on can and site browsing achieved. "open also github.dev directly much any