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 6 minutes and 5 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
passed #2570
lint-dockerfile

00:01:25

passed #2571
lint-shell-script

00:01:51

 
  Deploy
passed #2573
build-debian-buster-build-dev

00:02:29

passed #2575
build-debian-jessie-build-dev

00:04:09

passed #2574
build-debian-stretch-build-dev

00:02:37

passed #2572
build-golang-dev

00:01:01

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

00:01:37

passed #2580
build-php-5.6-dev

00:04:08

passed #2579
build-php-7.0-dev

00:04:11

passed #2578
build-php-7.1-dev

00:04:00

passed #2577
build-php-7.2-dev

00:03:38

passed #2576
build-php-7.3-dev

00:03:50

 
Name Stage Failure
failed
build-php-5.3-dev Deploy
No job log