Andrey Lushnikov 9d999ae1f0 devops: push all tags to docker registry (#3732) ... Instead of pushing one specific tag, push repository itself. This should push all the associated tags.		2020-09-02 10:33:54 -07:00
..
ISSUE_TEMPLATE	chore: added envinfo to the bug issue template (#2237)	2020-08-28 16:24:42 -07:00
workflows	devops: push all tags to docker registry (#3732)	2020-09-02 10:33:54 -07:00