Pipeline: Configure Git include regions doesn't work

[John Engelman]

I can't seem to figure out how to configure include regions for the Git plugin when defining a pipeline. They don't seem to be adhered to.

This is what I currently have:

checkout([$class: 'GitSCM', branches: [[name: '*/master']],

              userRemoteConfigs: [

                  [url: 'g...@github.com:johnrengelman/infrastructure.git']

                ],

              extensions: [

                  [$class: 'PathRestriction', includedRegions: 'environments/dev/.*', excludedRegions: '']

                ]

            ])

I've also tried the full classpath for 'PathRestriction'.

The pipeline runs regardless of where the changes are.