News for hackers. Stuff that matters.

A comment on GitHub.Dev is now available on any GitHub repo. Parent comment

Re:GitHub.Dev is now available on any GitHub repo by chrfrasco on Thursday August 12, 2021 @09:35PM (#28164264)
mind expanding on this? you've piqued my interest but I can't quite see the connection
[ Parent | on HN ]
Re:GitHub.Dev is now available on any GitHub repo by ducktective on Friday August 13, 2021 @01:05AM (#28165661)
Well, solutions like docker, Ansible, vbox and Nix provide a containerized dev environment and help with requirement provisioning.

Codespaces, github.dev and github1s also kinda help with this although with a focus on helping on-boarding new team members. But IMO, in future, this could have features like export Dockerfile or any other format github desires.

[ Parent | on HN ]