No Direct Server Code
Never edit or copy code directly into a production server repository. Make the change in the local repository, commit and push it, then connect with manage x.tld and run pullServer. Run the required platform command on the server only after the pull succeeds.
Fix
Move the code change to the local repository, push it, pull the server repositories with manage x.tld and pullServer, then run the necessary command.