News for hackers. Stuff that matters.
Re:GitHub Codespaces by m_mueller on Wednesday May 06, 2020 @10:48PM (#23099151)
That was already possible with Travis CI though. Not sure how the situation is now, are they still up and running?
Re:GitHub Codespaces by waheoo on Wednesday May 06, 2020 @10:55PM (#23099193)
The difference is habbit.

We are not in the habbit of doing this now.

This change may change that habbit and encourage a new one.

Im not saying it will, but its naive to brush literally every suggestion off because you can already do something similar.

At least think it through before making a judgement on a new idea.