Can't delete a mirrored repo

I setup a mirroring of a repo: Screenshot_2019-07-16_at_11.56.18

Then I tried to remove it.

Clicking on trash button removes it:

Screenshot_2019-07-16_at_11.56.36

But refreshing the page put it back:

Screenshot_2019-07-16_at_11.56.50