changed docker push to SHA1 tag