We found out that if you login as a given username that has capitals, the user that gets created by jupyterhub is all lowercased. This introduces some potentials for conflict and admin confusion. I am unsure where this comes from. Probably the github authenticator we derive from.
We found out that if you login as a given username that has capitals, the user that gets created by jupyterhub is all lowercased. This introduces some potentials for conflict and admin confusion. I am unsure where this comes from. Probably the github authenticator we derive from.