Learned how to manage dual maintenance with git (file modified on server, deleted locally)