Avoid dubious ownership error

Fix docker image url

Fix docker image url

Fix docker image version

Change the docker image

Merge branch 'repo-sync:master' into master

Make force push optional

Make force push optional