No need for any renaming: The repo name on github doesn’t need to match the local directory name.
If you want to load your package in a running julia process, the package manager does not expect a .jl on the local directory.
No need for any renaming: The repo name on github doesn’t need to match the local directory name.
If you want to load your package in a running julia process, the package manager does not expect a .jl on the local directory.