And this is the reason one should separate production and development environments and NEVER edit any files on production servers (let `git push` or something s

And this is the reason one should separate production and development environments and NEVER edit any files on production servers (let `git push` or something similiar handle it)