Merge branch 'add/php/git' into 'develop'

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

See merge request !9
12 jobs for develop in 14 minutes and 37 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
passed #4859
lint-dockerfile

00:10:42

passed #4860
lint-shell-script

00:01:38

 
  Deploy
failed #4862
build-debian-buster-build-dev

00:01:40

failed #4864
build-debian-jessie-build-dev

00:01:44

failed #4863
build-debian-stretch-build-dev

00:03:54

failed #4861
build-golang-dev

00:00:22

failed #4870
allowed to fail
build-php-5.3-dev

00:01:55

failed #4869
allowed to fail
build-php-5.6-dev

00:01:32

failed #4868
allowed to fail
build-php-7.0-dev

00:01:34

failed #4867
build-php-7.1-dev

00:02:04

failed #4866
build-php-7.2-dev

00:01:46

failed #4865
build-php-7.3-dev

00:01:32

 
Name Stage Failure
failed
build-debian-stretch-build-dev Deploy
No job log
failed
build-php-7.1-dev Deploy
No job log
failed
build-php-5.3-dev Deploy
No job log
failed
build-php-7.2-dev Deploy
No job log
failed
build-debian-jessie-build-dev Deploy
No job log
failed
build-debian-buster-build-dev Deploy
No job log
failed
build-php-7.0-dev Deploy
No job log
failed
build-php-5.6-dev Deploy
No job log
failed
build-php-7.3-dev Deploy
No job log
failed
build-golang-dev Deploy
No job log