Any risk in changing Github repo name from `MyProject` to `MyProject.jl`?

New to Julia
1

I recently had a package accepted for auto-merge into the General registry (pending the three-day waiting period). It is named MyProject, the main code is at src/MyProject.jl, and the Project.toml file says name = "MyProject". All of this is consistent with how other packages are formatted, except poking around, I notice that other users have generally named their Github repositories MyProject.jl as opposed to just MyProject.

  1. Does this matter?
  2. If I rename my repository in Github, will it break the registration?

I ask because I read the following in the General registry readme:

Technically, you can’t rename a package once registered, as this would break existing users. But you can re-register the package again under a new name with a new UUID.

2

No

No, but it is good if you submit a PR to update the package URL in the registry.

3

Do you mean adding .jl to the url in the Package.toml file that is stored under the package name directory at the general registry?

4

Yes, I think that’s what they mean, because when you change the project name on Github, it also changes the URL. (Although I can’t verify this personally–I decided not to rename my package after all.)

5

Just for the records, if someone does this and deploys documentation, remember updating this line in the make.jl file:

deploydocs(
    repo = "github.com/m3g/PDBTools.jl.git",  <<<<<<<<