Andrey Lushnikov b7f6a98deb devops: use a helper script to tag and push docker images (#3737) ... It turns out that the new `docker push --all-tags` is not yet available in the latest docker distribution on Ubuntu 20.04. This provides a helper script to tag and publish the docker image.		2020-09-02 14:28:01 -07:00
..
ISSUE_TEMPLATE	chore: added envinfo to the bug issue template (#2237)	2020-08-28 16:24:42 -07:00
workflows	devops: use a helper script to tag and push docker images (#3737)	2020-09-02 14:28:01 -07:00