Merge branch 'develop' into 'master'

PHP: add git to all images; Go: update golint path

See merge request !10
12 jobs for master in 6 minutes and 5 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #2582
lint-dockerfile

00:01:38

passed #2583
lint-shell-script

00:01:17

 
  Deploy
passed #2585
allowed to fail manual
build-debian-buster-build-master

00:02:35

passed #2587
allowed to fail manual
build-debian-jessie-build-master

00:04:05

passed #2586
allowed to fail manual
build-debian-stretch-build-master

00:02:30

passed #2584
allowed to fail manual
build-golang-master

00:02:14

manual #2593
allowed to fail manual
build-php-5.3-master
passed #2592
allowed to fail manual
build-php-5.6-master

00:03:59

passed #2591
allowed to fail manual
build-php-7.0-master

00:03:59

passed #2590
allowed to fail manual
build-php-7.1-master

00:03:59

passed #2589
allowed to fail manual
build-php-7.2-master

00:04:10

passed #2588
allowed to fail manual
build-php-7.3-master

00:04:02