Fini Jastrow b90ffd596a docker: Re-add "master" tag ... [why] Previously we had the tag 'master' set in all images, as the images were created with every push the default branch (i.e. master). Some people might use that tag for something. At least we can not remove the last image with 'master' tag, and it will become outdated immediately, making it a misnomer. [how] Add both tags. Hope this works ;-) Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2023-06-02 11:43:21 +02:00
..
ISSUE_TEMPLATE	Update bug_report.md	2022-12-21 17:18:33 +01:00
workflows	docker: Re-add "master" tag	2023-06-02 11:43:21 +02:00
PULL_REQUEST_TEMPLATE.md	Remove mentions of master branch [skip ci]	2022-10-17 11:50:53 +02:00