Open dermestid opened 3 years ago
see https://docs.github.com/en/github/administering-a-repository/renaming-a-repository
see https://docs.github.com/en/github/administering-a-repository/renaming-a-repository