Django-rosetta and git, how to make them friends?

Question

Django

The question is as follows:
There is an application that allows you to change po and mo files for translations through the interface.
The site is on the server, work is constantly being done on this site, the code is being changed using Git.
It turns out that the person who translates it through the interface on the server changes these files, and the developer overwrites them with his own, pushing to the server from the local machine.
The first thing that comes to mind is to ignore?
Are there any other options? Commit on the server and make a pool for the developer, but this is not necessary, and the developer can forget.

Answer 1

as an option - write a pre-push hook that would check the differences in the files on the server and in the repository

Answer 2

Ignore them and that's all, there can be no other options here.