James Allen f0092bc85a Push master branch to public repo after successful build ... Note that this has to happen outside of the docker container to work around issues with git and user ids, so we've had to modify the pipeline to explicitly run the steps inside docker as needed.		2017-09-18 11:10:22 +02:00
..
web	Push master branch to public repo after successful build	2017-09-18 11:10:22 +02:00