Since configuring ConfigureRedisAction#NO_OP is quite essential for production environments, we could consider enhancing our Redis configuration support. For example, we could consider exposing it over @EnableRedisHttpSession in some way.
Note that Spring Boot has recently added support for this in spring-projects/spring-boot#17022.