🌐
DEV Community
dev.to › jlewis92 › my-setup-for-publishing-to-devto-using-github-1k0n
My setup for publishing to Dev.to using github - DEV Community
March 24, 2023 - After this we'll get ready to set up the GitHub actions project for pushing this code into the repo · It's pretty straight forward to get started, all you need to do is grab an API token from Dev.to and place it in the repositories' secrets tab with a memorable name.
🌐
GitHub
github.com › github › dev
GitHub - github/dev: Press the . key on any repo · GitHub
March 18, 2025 - Swap .com with .dev in the URL. For example, this repo https://github.com/github/dev becomes http://github.dev/github/dev · Preview the gif below to get a quick demo of github.dev in action.
🌐
DEV Community
dev.to › t › github
GitHub - DEV Community
Our agent fixed real broken links, then took a human maintainer's review and actually re-checked every one ... cleanyourtv Debloats Android TV and Replaces Its Home Screen ¿Qué es REA (Reverse Engineer Anything)? El servidor MCP que alcanzó 115.000 estrellas en GitHub ... GitHub's PDD Kit proves agent-written Rust correct: 5 steps and 3 limits 25+ GPT-6 Astra Creations Every Developer ...
🌐
Github
github.dev
Visual Studio Code for the Web
Build with Visual Studio Code, anywhere, anytime, entirely in your browser.
🌐
GitHub
docs.github.com › en › codespaces › the-githubdev-web-based-editor
Using VS Code for the Web from GitHub - GitHub Docs
When viewing a file, select the dropdown menu and click github.dev. Both VS Code for the Web and GitHub Codespaces allow you to edit your code straight from your repository.
🌐
GitHub
github.com › marketplace › actions › publish-to-dev-to
Publish to dev.to · Actions · GitHub Marketplace · GitHub
GitHub Action to publish markdown files as articles on dev.to platform, with assets hosted on GitHub.
Find elsewhere
🌐
GitHub
docs.github.com › en › integrations › concepts › github-developer-program
GitHub Developer Program - GitHub Docs
If you build tools that integrate with GitHub, you can join the GitHub Developer Program.
🌐
DEV Community
dev.to › jajera › configure-github-for-devto-publishing-1efc
Configure GitHub for Dev.to Publishing - DEV Community
December 1, 2024 - Go to your Dev.to account. Navigate to Settings > Account > Extensions > API Key. Generate a new API key and copy it. Go to GitHub and create a new repository.
🌐
RunxBuild
runxbuild.com › home › blog › github browser editor: what github.dev can do, what it cannot, and when you need codespaces instead
GitHub Browser Editor: What github.dev Can Do, What It Cannot, and When You Need Codespaces Instead
September 21, 2026 - Deploy More while Spending Less Calculate your savings → ... The GitHub browser editor is github.dev: press the full stop key on any repository or pull request, or change github.com to github.dev in the URL, and the repository opens in a Visual ...
🌐
Reddit
reddit.com › r/vscode › what is the difference between vscode.dev and github.dev?
r/vscode on Reddit: What is the difference between vscode.dev and github.dev?
November 22, 2025 -

Both are VSCode in a browser. Both can be elevated into a fully integrated development environment via preinstalled GitHub Codespaces VSCode extension by selecting `>Codespaces Create New Codespace...` from the command palette. So what's their actual difference and why would I use one over another?

Who is the owner and what is the purpose of these projects?

Both are microsoft anyway ¯\_(ツ)_/¯, but is one from the github team, while the other from vscode team?

🌐
Reddit
reddit.com › r/programmertil › [general] til you can replace '.com' in a github repo or pr url with '.dev' to open it in github.dev, a vs code environment running in your browser
r/ProgrammerTIL on Reddit: [General] TIL you can replace '.com' in a github repo or PR URL with '.dev' to open it in github.dev, a VS Code environment running in your browser
July 18, 2022 -

Let's say I want to take a deeper dive into the code for https://github.com/ogham/exa 1. It turns out github has been working on new functionality that allows me to open that repo in a VS Code instance running entirely in your browser. I simply need to either:

  • Press the '.' key on any github repo or pull request

  • Swap .com with .dev in the URL - (so https://github.dev/ogham/exa for my example)

I can install extensions into my web VSCode instance (not all but a solid number), configure the theme, settings, etc. It really is VSCode running in the browser, allowing you to utilize 'Go to definition' and 'Go to references' to navigate the source code as if it were local.

Here's what the exa repo looks like for me when I open it in github dev: https://i.imgur.com/EOVawat.png

ReadMe from https://github.com/github/dev

What is this?

The github.dev web-based editor is a lightweight editing experience that runs entirely in your browser. You can navigate files and source code repositories from GitHub, and make and commit code changes.

There are two ways to go directly to a VS Code environment in your browser and start coding:

  • Press the . key on any repository or pull request.

  • Swap .com with .dev in the URL. For example, this repo https://github.com/github/dev becomes http://github.dev/github/dev

Preview the gif below to get a quick demo of github.dev in action.

https://user-images.githubusercontent.com/856858/130119109-4769f2d7-9027-4bc4-a38c-10f297499e8f.gif

Why?

It’s a quick way to edit and navigate code. It's especially useful if you want to edit multiple files at a time or take advantage of all the powerful code editing features of Visual Studio Code when making a quick change. For more information, see our documentation.

🌐
DEV Community
dev.to › lostintangent › 10-awesome-things-you-can-do-with-github-dev-5fm7
Fun Things You Can Do With github.dev 😎 - DEV Community
September 16, 2021 - GitHub recently released github.dev, which allows you to press . on any repo in order to open it in VS Code, directly from your browser (🤯). This simple gesture can provide you with a significant productivity boost for reading, editing, and ...
🌐
GitHub
github.com › forem › forem
GitHub - forem/forem: For empowering community 🌱 · GitHub
Communities for your peers, customers, ... announcement post for a high-level overview of what Forem is. dev.to (or just DEV) is hosted by Forem....
🌐
GitHub
github.com › thepracticaldev
DEV Community · GitHub
The core markdown processor for dev.to · There was an error while loading. Please reload this page. thepracticaldev/super-markdown's past year of commit activity · 44 5 4 0 Updated · Dec 10, 2016 · Loading… · There was an error while loading. Please reload this page.
🌐
GitHub
github.com › iamseki › dev-to
GitHub - iamseki/dev-to: Implementations of dev.to blog posts · GitHub
This repository is a monorepo containing all the code used in my dev.to community posts.
Author: iamseki
🌐
GitHub
github.com › anilkulkarni87 › dev.to
GitHub - anilkulkarni87/dev.to: Github repo for all Dev.to posts · GitHub
Github repo for all Dev.to posts. Contribute to anilkulkarni87/dev.to development by creating an account on GitHub.
Author: anilkulkarni87
🌐
CapsCode
capscode.in › blog › introduction-to-github.dev
Edit Your Github Repo In Web Using Github.dev
November 6, 2021 - Just open any of your repo and replace github.com with github.dev and that it, now you can able to edit your code and commit your code in online VS code.
🌐
DEV Community
dev.to › github
GitHub — DEV Community Profile
It's GitHub! ... We're a place where coders share, stay up-to-date and grow their careers.