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
0
4
comments (single view)
that’s what it uses but modified for github — or exact same but on a different url