Closed daniel-hauser closed 8 months ago
Currently, the user's name is used as the repository name. This will fail the build in cases where the GitHub user name is not lowercase. This PR adds a normalization step that will use the lowercase version of the user's name
Fixes #220
Currently, the user's name is used as the repository name. This will fail the build in cases where the GitHub user name is not lowercase. This PR adds a normalization step that will use the lowercase version of the user's name
Fixes #220