Bug: unable to delete repo from workspace

[Mandeep56Singh]

Describe the bug

When attempting to delete a repository from the workspace section, the interface indicates that the repository has been successfully deleted. However, after refreshing the page or navigating away and returning to the workspace, the repository reappears.

video
https://github.com/user-attachments/assets/e7ed41c0-b7bd-43be-bfd8-0b17b9aaeea9

Steps to reproduce

1. Go to workspace
2. Click on edit
3. delete the repository
4. refresh or go back to workspace
5. you will see that same repository

[github-actions]

Thanks for the issue, our team will look into it as soon as possible! If you would like to work on this issue, please wait for us to decide if it's ready. The issue will be ready to work on once we remove the "needs triage" label.

To claim an issue that does not have the "needs triage" label, please leave a comment that says ".take". If you have any questions, please comment on this issue.

For full info on how to contribute, please check out our contributors guide.

[SURAJ-SHARMA27]

Hi @Mandeep56Singh, after deleting the repo, you should click on 'Update Workspace' for the changes to be reflected in the workspace.

[Mandeep56Singh]

@SURAJ-SHARMA27 I didn't knew about that 😅
thanks 👍