Thomas Rudin fc2b548658 only push docker image on master branch		2020-02-17 17:32:46 +01:00
..
workflows	only push docker image on master branch	2020-02-17 17:32:46 +01:00