[pg-cvs] new old new repository

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