Merge branch 'master' into 'master'

First version of jenkins credentials enforcement.

First version of Jenkins credentials enforcement.
Use

See merge request !4