This is exactly what I am building. It has vs code editor, markdown, GitHub sync and many more interesting features for developers https://upnotes.io

GitHub.dev is great but I personally prefer to take notes locally without internet affecting my node taking.