Open in (GitHub) Dev!

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