lxs @lxs

ONG GUYS I FOUND OUT github.dev EXISTS AND ALLOWS ME TO EDIT SOURCE CODE WITH AN IDE ONLINE AND I CAN PUSH CHANGES WHENEVR I WANT TO — AM I THAT DUMB?!

Nov 11, 2022, 2:27 PM
4
View all Parent

comments

Highlighted comment

that’s what it uses but modified for github — or exact same but on a different url

yeah and github.dev has light mode