GitHub user bbannier opened a pull request:

    WIP: docker image build automation


You can merge this pull request into a Git repository by running:

    $ git pull t/docker_image_build

Alternatively you can review and apply these changes as the patch at:

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #264
commit e47136f68105717ed9c177e283ce2fd4ab831ddd
Author: Benjamin Bannier <bbannier@...>
Date:   2018-02-12T10:25:36Z

    Moved some docker image setups to dedicated directory.

commit 7af8ea15110ed56f4d8855531c7c07c5dc96a93c
Author: Benjamin Bannier <bbannier@...>
Date:   2018-02-12T11:32:26Z

    Docker image build setup.



Reply via email to