REDISTIMESTAMP format is not matching in filebeat!

[longforfreedom]

Describe the enhancement:
Redis default log format like this
26571:M 27 Dec 2018 11:19:18.874 * Synchronization with replica 10.114.208.18:6023 succeeded
the timestamp format is dd MMM YYYY H:m:s.SSS , but in Elasticsearch pipeline "REDISTIMESTAMP" is "%{MONTHDAY} %{MONTH} %{TIME}"` and dd MMM YYYY H:m:s.SSS not in date.formats .

so, modify module/redis/log/ingest/pipeline.json

"pattern_definitions": {
    "CHAR": "[a-zA-Z]",
    "REDISLEVEL": "[.\\-*#]",
    "REDISTIMESTAMP": "%{MONTHDAY} %{MONTH} %{YEAR} %{TIME}"
  }
  
"date": {
    "field": "redis.log.timestamp",
    "target_field": "@timestamp",
    "formats": [
      "dd MMM YYYY H:m:s.SSS",
      "dd MMM H:m:s",
      "UNIX"
    ],
    "ignore_failure": true
  }

in my case:

• redis version is 5.0.3
• elasticsearch version is 6.3.2