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

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 repository.

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

Hope to receive some feedback here …



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