Merge branch 'git' into 'master'

Git

See merge request !15
3 jobs for master in 7 minutes and 50 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #43693
build

00:04:02

 
  Deploy
passed #43694
deploy

00:03:47

passed #43695
docs

00:02:02