Building a Docker/Gulp-based development environment: Introducing DevPail