Open in (GitHub) Dev!

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