Re:GitHub Codespaces
by AlphaWeaver on Wednesday May 06, 2020 @07:31PM
(#23097729)
GitHub's editor is useful for simple fixes, (formatting, markdown, typos,) but Codespaces seems extremely useful in building a reproducible dev environment for more complex packages / projects, including build tooling!
[ Parent
| on HN ]
Yes but OP was talking about simple fixes in the first place
Even simple fixes often need to be run/tested before a PR can be put up with confidence.
a one minute change isn't ran or tested, almost by definition.
If you could have a fully-functional dev environment with pre-installed dependencies in 10s and the package takes 48 seconds to build and test, then you could.
I'm aware of several places in my team's codebase where you can change a couple of characters and break the entire company if you didn't test the change.