For some reason the repository had grown a bare = false which broke pushing. Before I managed to figure out what was wrong, I ended up replacing the whole repo with a new clone. Should be OK now. Cheers, -- nikodemus