pull before pushing
It consistently happens that people commit in the middle of us having pulled, then having processed all repos and then trying to sync back the .po files
It consistently happens that people commit in the middle of us having pulled, then having processed all repos and then trying to sync back the .po files