This is the standard naming convention for products that are related to a specific service but are not affiliated with that service. The repository should also be moved. GitHub will redirect to the new repository name, with the only issue being the URL for the deployed GitHub Pages. That link should be changed in the add-on and potentially it will be better to point to a redirection server so that the URL can easily be changed in the future.
Breaking the GitHub Pages link so not that concerning, since it would only impact users that are (for some reason) updating from a version older than 3 to a version that's not the most recent.
This is the standard naming convention for products that are related to a specific service but are not affiliated with that service. The repository should also be moved. GitHub will redirect to the new repository name, with the only issue being the URL for the deployed GitHub Pages. That link should be changed in the add-on and potentially it will be better to point to a redirection server so that the URL can easily be changed in the future.
Breaking the GitHub Pages link so not that concerning, since it would only impact users that are (for some reason) updating from a version older than 3 to a version that's not the most recent.
Phase two of this change is covered by #25.