Indexing when tags are force pushed

[tleb]

Logs from utils/update-elixir-data:

Processing project /srv/elixir-data/zephyr ...
Fetching origin
From https://github.com/zephyrproject-rtos/zephyr
 * branch                    HEAD       -> FETCH_HEAD
 ! [rejected]                v4.0.0-rc1 -> v4.0.0-rc1  (would clobber existing tag)
 ! [rejected]                v4.0.0-rc2 -> v4.0.0-rc2  (would clobber existing tag)
error: Could not fetch origin
zephyr - found 0 new tags

So upstream force pushed some tags and now our git fetch --all --tags fails. That is sort-of expected. The proper thing to do would be:

• Remove previous tags from repo and from database
• Fetch new tags
• Have the script reindex all unknown tags

Only deleting tags from repo would be dangerous as then the database and repo would be out of sync.

---

Question: if project has tags v1, v2 and v3 and v2 gets force-pushed. Do we have to remove all data inside the database about v2 and v3 or just v2 is enough?