This repo should be archived

[m-linner-ericsson]

Description

We (Eiffel TC) don't see that there are any active maintainers on this repo. Therefore we intend to move it to archived state. See more here: https://docs.github.com/en/repositories/archiving-a-github-repository

If you disagree on this, please make a comment in this issue or contact Eiffel TC about it, on eiffel-tc@googlegroups.com. If we don't hear anything within 4 weeks from today this repo will be archived.

CC: @eiffel-community/eiffel-vici-maintainers

Additional Context

No response

Further links

No response

Tasks

• Create issue in the repository to be archived. See This repo should be archived eiffel-store#10 for an example
• Open a PR to in the eiffel-community/eiffel-community.github.io repository to remove it from https://eiffel-community.github.io/community.html
• Create a PR that updates the Readme with the following changes:
  • Change the badge to the archived badge
• Close all issues
• Close all PRs
• Delete the Google group: Leaving the Google group can cause confusion on if the repository has maintainers or not. Removing the group makes this clear.
• Delete the team under https://github.com/orgs/eiffel-community/teams Leaving the team can cause confusion on if the repository has maintainers or not. Removing the team makes this clear.
• Open a PR in the eiffel-community/community repository to update PROJECTS.md#project-facts
  • Marking the repository as archived
  • Remove the Team link
  • Remove the Google group link
• Follow the instructions on https://docs.github.com/en/repositories/archiving-a-github-repository/archiving-repositories

[m-linner-ericsson]

As with no objections raised we will archive this repo.