[PROJ] proj4.org -> proj.org migration

[Mike Taves]

On Sat, 1 Jun 2019 at 09:19, Alan Snow <alansnow21 at gmail.com> wrote:
>
> This is great. What is the plan for the timing of renaming the github repo to PROJ?

I think GitHub repos can be renamed without too much disruption to forks.

Similar question: will the project name remain as PROJ.4, or rename to
PROJ to align with the current website and software name?