Document How to Use Custom sessionRepository with @EnableRedisHttpSessionConfiguration

@EnableRedisHttpSessionConfiguration
public class HttpSessionConfig {
    @Value("${server.session-timeout}")
    private int maxInactiveIntervalInSeconds;

    @Primary
    @Bean
    public RedisOperationsSessionRepository sessionRepository(RedisTemplate<String, ExpiringSession> sessionRedisTemplate) {
        RedisOperationsSessionRepository sessionRepository = new RedisOperationsSessionRepository(sessionRedisTemplate);
        // customize
        sessionRepository.setDefaultMaxInactiveInterval(maxInactiveIntervalInSeconds);
        return sessionRepository;
    }
}

Related Issues #110

Start by reviewing the custom sessionRepository example in the issue and the discussion in related issue #110. Identify the Spring Session documentation section covering @EnableRedisHttpSessionConfiguration, then document how to customize and register the repository; done means the supported configuration is explained clearly with an example.