I created an empty docker repository and tried to delete it afterwards, I do not get an error message or anything. Instead, I get redirected to the repository overview in which the repository I just deleted via the delete button is still showing up (also after refreshing etc.)
As the repository is now in a strange state, I also cannot push images to it anymore. Are you aware of that problem? Is there a workaround?
Problem description
I created an empty docker repository and tried to delete it afterwards, I do not get an error message or anything. Instead, I get redirected to the repository overview in which the repository I just deleted via the delete button is still showing up (also after refreshing etc.)
As the repository is now in a strange state, I also cannot push images to it anymore. Are you aware of that problem? Is there a workaround?