#gitlab bubble question: when moving a repository... can I move this via the UI? I think not, only via REST API, NO?
And second: can one create a redirect, so people are informed where the repo moved to?