How to do git pull in the same folder as different users?

Question

linux

Good afternoon!
The essence of the idea is this - there is a set of 1000+ files that the platform uses as parameters.
They are ruled by 10 people, it all lives in a git repository.
Then these files should go to the app server. And here I have a plug. if I do a git pull, the other person can't do a pull afterwards, only delete the folder and do a clone. And it's sad.
While there is an option with a technology user, and pull on his behalf, but this upsets me. Maybe there are more elegant options?

Answer 1

if I do a git pull, the other person can't do a pull afterwards

and what prevents him if he rules other files?

Answer 2

The most convenient option, oddly enough, is to create a separate user under which to perform git pull (you can even use ssh with a key), everything else will require more gestures, maybe even much more