It's possible to publish new packages with old GitHub username

[henriquecbuss]

Quick Summary:

After changing my GitHub username, it was still possible for me to publish a new package with my old username.

SSCCE

1. Have a GitHub account (let's say with username A)
2. Change your GitHub username to B
3. Publish a package with A/some-package as the name in elm.json
4. See that it succeeds

• Elm: 0.19.1
• Browser: N/A
• Operating System: macOS Ventura 13.0

Additional Details

I was writing a package, and before publishing it, I changed my username from NeoVier to henriquecbuss. I forgot to change the name of the package in elm.json, and when I ran elm publish, it published NeoVier/elm-eos.

It should probably warn me that the username is incorrect, and only let me publish it as henriquecbuss/elm-eos.

[github-actions[bot]]

Thanks for reporting this! To set expectations:

• Issues are reviewed in batches, so it can take some time to get a response.
• Ask questions in a community forum. You will get an answer quicker that way!
• If you experience something similar, open a new issue. We like duplicates.

Finally, please be patient with the core team. They are trying their best with limited resources.