Dev Spaces no-devfile feature fails because of repo names

Dev Spaces 3.0 offers a handy feature-- you can construct a factory URL of (dev spaces url) + /#/ + (github repo url). This factory will start a default workspace even if there is no devfile in the repo.

But this trick fails if the repo name doesn't conform to RFC 1123. (See error below.)

GitHub allows users to name repos with capital latters, underscores, etc. Dev Spaces won't make a workspace for these repos if the name doesn't fit it's rules.

------------------------ Sample error -------------------------------------------------
Failed to create a workspace. Failed to create a new workspace from the devfile, reason: Failed to create a new workspace. Unable to create devworkspace: DevWorkspace.workspace.devfile.io "Camel_Samples" is invalid: metadata.name: Invalid value: "Camel_Samples": a lowercase RFC 1123 subdomain must consist of lower case alphanumeric characters, '-' or '.', and must start and end with an alphanumeric character (e.g. 'example.com', regex used for validation is '[a-z0-9]([-a-z0-9][a-z0-9])?(\.[a-z0-9]([-a-z0-9][a-z0-9])?)*')
-------------------------------------------------------------------------------------------------

Can we come up with a scheme to make this work?