Please archive the repository if it is defunct and no longer developed

[jnareb]

See https://docs.github.com/en/repositories/archiving-a-github-repository/archiving-repositories

[brunopostle]

Thanks will do