Registering a package whose name does not end with .jl extension

Tooling Package Management
1

Dear all

I am trying to register the package ArDCA on the general registry, but the automerge fails because (as I understand) the package name does not have the .jl extension in its name. The problem is that we already advertised the package on a now accepted publication as well as on bioarxiv https://www.biorxiv.org/content/10.1101/2021.03.04.433959v1 repository.

I do not know how strict is the policy on naming for registration.

Hope to receive some feedback here …

Thanks

Andrea

2

As I already mentioned in the pull request to the general registry you can rename the repository to add the trailing .jl and github will automatically create a redirect for you, without breaking anything. Read carefully Renaming a repository - GitHub Docs

4 Likes