Fix 4120: Repository name cannot contain '/' character anymore #4279
+16
−0
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fix #4120.
Note the current error message displayed to the user might not be very friendly. I am not sure whether we are fine with this or if we want to display a clearer one.

Also note that as discussed with @ogenstad the long term fix for this issue might be to store a repository using its
id
instead ofname
attribute so/
characters could not be considered as file path separators.This PR currently targets
stable
but we might want to re-target it to0.16.1
branch once created.