Rename run-docker.sh to push-docker.sh

This commit is contained in:
2023-10-09 11:30:35 +08:00
parent 63471e6c3e
commit bb30e9add0