Никаких изменений в удаленном репо после git push - PullRequest
0 голосов
/ 21 февраля 2019

На сервере 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)
...