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

**URL:** <https://discourse.julialang.org/t/registering-a-package-whose-name-does-not-end-with-jl-extension/66118>\
**Category:** Package Management\
**Created:** [August 10, 2021, 9:34am UTC](https://discourse.julialang.org/t/registering-a-package-whose-name-does-not-end-with-jl-extension/66118 "2021-08-10T09:34:58Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Andrea\_Pagnani](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/andrea_pagnani/32/3136_2.png) [@Andrea\_Pagnani](https://discourse.julialang.org/u/Andrea_Pagnani)\
**Post date:** [August 10, 2021, 9:34am UTC](https://discourse.julialang.org/t/registering-a-package-whose-name-does-not-end-with-jl-extension/66118/1 "2021-08-10T09:34:58Z")

</div>

Dear all

I am trying to register the package [ArDCA](https://github.com/pagnani/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](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

---

<div class="post-metadata">

**Author:** ![giordano](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/giordano/32/2166_2.png) [@giordano](https://discourse.julialang.org/u/giordano)\
**Post date:** [August 10, 2021, 11:58am UTC](https://discourse.julialang.org/t/registering-a-package-whose-name-does-not-end-with-jl-extension/66118/2 "2021-08-10T11:58:06Z")

</div>

As I already mentioned in the [pull request](https://github.com/JuliaRegistries/General/pull/42530#issuecomment-895921774) 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](https://docs.github.com/en/github/administering-a-repository/managing-repository-settings/renaming-a-repository)