Opening the github.dev editor

You can open any GitHub repository in github.dev in either of the following ways:

• To open the repository in the same browser tab, press . while browsing any repository or pull request on GitHub.
• To open the repository in a new browser tab, press >.
• Change the URL from "github.com" to "github.dev".
• 
  
• When viewing a file, select the 
• 
  
•  dropdown menu and click github.dev.
•