Migrating: GatOS

[valencik]

Migration Checklist

Project Submission Issue: #149

For Organization Projects:

• Create a team for the repo with maintainer as team member
• After repo transfer, add repo with write permissions to the created team

For All Projects:

• Add project to the site by adding an entry to the projects.yml file

Announcements

These steps are optional but encouraged.

• Write a blog post announcing the change
• Post to our social channels (Mastodon)

[TonioGela]

Thanks @valencik. I offer myself as a maintainer, and I'll ask you to create an empty repo, so that we can carefully cherry pick the content to transfer.

Once done I'll also take care to add it to the site, and prompt for the blog post.

[samspills]

@TonioGela sorry for the delay! I just created the repo + team, and added you as a maintainer. Let me know if I should add anyone else to the team as well

https://github.com/typelevel/catscript

[TonioGela]

Thanks @samspills. I'll let you know soon ;)

[reardonj]

@TonioGela , @Hombre-x I see this project has slipped through the cracks and isn't on the website yet. I also see the repo is now 'GatOS', but the docs still talk about Catscript. I also don't see any published releases, but there is github activity. What is the status of this project and what should we call it on the site?

[Hombre-x]

@reardonj With @armanbilge a decision was taken to rename the project to GatOS, there is a pull request still pending for approval to rename all the docs to the new name (typelevel/GatOS#70) but it is still open. After that it should be ready for the first release though.

[reardonj]

@Hombre-x , cool, thanks! Would you mind opening a PR to add the project to https://github.com/typelevel/typelevel.github.com/ ? Maybe even a blog post if you feeling like marketing? :)

[Hombre-x]

@reardonj Sure, should I open it now or we wait until the first release to include it?

[reardonj]

@reardonj Sure, should I open it now or we wait until the first release to include it?

Whatever works for you. If you have time to do it before release it can be all set to go. We should probably hold off merging it at least until the name change merge is in as it would be rather confusing otherwise.