zoekt-mirror-github doesn't update existing repository cache

[henrik242]

We run zoekt-mirror-github every night, but it doesn't seem to update github_repos with new changes.

I suspect there is something wrong with zoekt-mirror-github since it finishes in a couple of seconds even though we have several hundred repos.

# First we fetch and unzip existing github_repos and github_index

zoekt-mirror-github -dest=github_repos -delete -org=foo -url=https://github.example.io
zoekt-git-index -index=github_index -submodules=false -allow_missing_branches=true -parallelism=16 github_repos/github.example.io/foo/*

# Lastly we upload archives of github_repos and github_index, and deploy a new docker image containing `zoekt-webserver` and the updated index

Any ideas what we are doing wrong?