Creating lot of duplicated delete_repo zoekt_tasks

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

Summary

We create a lot of duplicated delete_repo tasks for the same repository. Due to this, our indexing tasks backlog grows so large that it eventually slows down all the zoekt background tasks.

Steps to reproduce

What is the current bug behavior?

A lot of duplicated delete_repo tasks

What is the expected correct behavior?

We should not create duplicated delete_repo tasks

Relevant logs and/or screenshots

Possible fixes

Edited by 🤖 GitLab Bot 🤖