Richard van der Hoff 10405153c2 Use wget rather than curl ... the docker image doesn't have wget		2018-10-16 16:47:26 +01:00
..
config.yml	…
merge_base_branch.sh	Use wget rather than curl	2018-10-16 16:47:26 +01:00