Re:Improving how we deploy GitHub
by epidemian on Monday January 25, 2021 @08:44PM
(#25911416)
With large codebases maintained by many people, sometimes it's difficult to "just" do things like that. It's a bit weird to think that no one within that large group of professional developers hasn't thought of doing a simple obvious solution. It's probably not that simple.
[ Parent
| on HN ]
Re:Improving how we deploy GitHub
by cutemonster on Tuesday January 26, 2021 @08:35PM
(#25923214)
Lots of comments here around that say "just do it like this: ...", or "why don't you: ... it'd be good because ..."