https://github.dev It's already here, GitHub isn't the only ones.