How to configure spring-data-mongodb to use a replica set via properties

There is no explicit support for that, no. But you should be able to configure that just fine via the uri parameter.

We’ve actually updated the documentation recently.