git push之后远程裸仓库中没有任何更改

Question

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)