git fetch gogs && git reset --hard gogs/pub && echo OK.