After copying the contents of this repo into the new repo-to-be, follow the below steps:
- Update README.md.
- Replace the logo and the alt text of the logo image element.
- Change the first heading and the description of the repository.
- Keep the rest of the README.md intact (license notice, links to contribution guidelines et cetera).
- Create a repo-name-maintainers team in the eiffel-community organization.
- Make all members of the team maintainers (so they can add new maintainers as needed).
- Give the team write access to the new repository.
- Update CONTRIBUTING.md
- Replace repository URLs.
- Replace links to maintainers' team.
- Create a maintainers' mailing list. There are no requirements on mailing list providers, but it needs to be invite only, readable by members only, but accept mails from non-members. Google Groups can easily set up such mailing lists.
- Replace the placeholder maintainers' mailing list address in CODE_OF_CONDUCT.md.