Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prevent duplicate spacename rename #781

Merged
merged 3 commits into from
Apr 6, 2023

Conversation

zak39
Copy link
Collaborator

@zak39 zak39 commented Apr 5, 2023

I fixed an issue that when you rename a space that already exists.
The existing one is "deleting".

zak39 added 2 commits April 5, 2023 17:10
I fixed an issue that when you rename a space that already exists.
The existing one is "deleting".

Signed-off-by: Baptiste Fotia <[email protected]>
I adapted the unit test "rename".

Signed-off-by: Baptiste Fotia <[email protected]>
@zak39 zak39 added frontend Modification related to frontend debug Ongoing correction labels Apr 5, 2023
@zak39 zak39 requested a review from acdmft April 5, 2023 15:16
@zak39 zak39 self-assigned this Apr 5, 2023
I changed the title when we have a duplicate in the space name.

Signed-off-by: Baptiste Fotia <[email protected]>
@acdmft acdmft merged commit 6ae678e into main Apr 6, 2023
@acdmft
Copy link
Collaborator

acdmft commented Apr 6, 2023

super!

@acdmft acdmft deleted the fix/prevent-duplicate-spacename-rename branch April 6, 2023 15:05
@zak39
Copy link
Collaborator Author

zak39 commented May 17, 2023

Backport to 25

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
debug Ongoing correction frontend Modification related to frontend
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants