Как делать git pull в одной и той же папке от имени разных пользователей?

Question

[lelvisl]

Добрый день!

Суть идеи такая - есть набор из 1000+ файликов, которые платформа использует как параметры.
Их правят 10 человек, живет это все в git репозитории.
Потом эти файлики должны уходить на app сервер. И тут у меня затык. если я сделал git pull, другой человек не может сделать потом pull, только стереть папку и сделать clone. И это грустно.
Пока есть вариант с технологическим пользователем, и делать pull от его имени, но сие меня огорчает. Может есть более элегантные варианты?

Answer 1

[Антон Антон]

если я сделал git pull, другой человек не может сделать потом pull

а что ему мешает, если он правил другие файлы?

Comments

[lelvisl]

remote: Counting objects: 4, done.
remote: Compressing objects: 100% (3/3), done.
remote: Total 4 (delta 0), reused 0 (delta 0)
Unpacking objects: 100% (4/4), done.
error: Unable to append to .git/logs/refs/remotes/origin/master: Permission denied

[Антон Антон]

lelvisl: а у вас не у каждого пользователя свои файлы?
я почему-то подумал, что у вас каждый правит файлы на своем компьютере (без создания бранчей), затем они коммитят свои изменения в центр, из которого уже "настройки" (или что там у вас) идут на прод.

[lelvisl]

Вот вопрос как раз в моменте выхода на прод. Что бди каждый мог зайти на прод и сделать git pull

Answer 2

[3vi1_0n3]

Самый удобный вариант, как ни странно, - создать отдельного пользователя, под которым выполнять git pull (можно даже через ssh с ключом), всё остальное потребует больше телодвижений, может даже сильно больше

Comments

[lelvisl]

Пока так и выходит, но это как то грустно.