Docker push and docker tag are both important