[...] you could move the server to a rich root capable format; then it would work (though crossing the format boundary can be slow). 1.3.1 is new enough to support rich-root-pack.
and now it works. I can push my local branch to the remote repository.