Skip to content

Rename the repository name and hosted page URL #130

@demeringo

Description

@demeringo

Problem

Folowing the renamming of the tool in #129 , I would like to rename the git repository itself.

Solution

Rename the github repository to green-it-tools-landscape

Despite the full name of project is Boavizta Green IT tools landscape, I suggest to not use Boavizta in the repository name (because it is already under Boavizta organization in github).

Consequences:

Repo URL will change:

Site URL will of the widget will change

We need to update the links to the data files (in the widget config) to point to the new repo.

Regarding the repository itself, github should redirect automatically for a time.

Alternatives

Create a new separate repository (but it makes it more complicated to transfer the issues).

Additional context or elements

https://docs.github.com/en/enterprise-cloud@latest/repositories/creating-and-managing-repositories/renaming-a-repository

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions