На сервере Linux есть удаленное репо без подписки (repozytorium.git
в следующем примере) и локальное репо без записи.Проблема в том, что после git push dev master
на сервере не происходит никаких изменений, даже если repozytorium.git/refs/heads/master
содержит хэш всех коммитов, сделанных локально.
Сервер содержит каталоги, которые я хочу отслеживать с помощью git, и те, которые я не хочу отслеживать.Локальный репо содержит только первое.Есть ли способ перезаписать каталоги, которые будут отслеживаться на сервере?
Вывод .git/config
:
[core]
repositoryformatversion = 0
filemode = false
bare = false
logallrefupdates = true
symlinks = false
ignorecase = true
[remote "dev"]
url = user@server:/data/repozytorium.git
fetch = +refs/heads/*:refs/remotes/dev/*
[branch "master"]
remote = dev
merge = refs/heads/master
Просто, чтобы быть понятным: вывод git remote -v
:
dev user@server:/data/repozytorium.git (fetch)
dev user@server:/data/repozytorium.git (push)