I saw in the video that even with Serverless the developer switched to vscode to do development. Do you foresee Dagster Cloud having an inbuilt IDE to use to keep the developer in one place should they so choose?

with the github app flow i work entirely outside of the terminal and local IDE. try setting up serverless with the github app, and then navigating to the repo and pressing

.

(or changing the domain to github.dev). this will bring up github’s built-in vscode integration. using that, you can make changes and send a PR which will be testable with our branch deployments feature. we should make a demo of this!