Migrating: Catscript - Githubissues

valencik commented 2 months ago

Migration Checklist

Project Submission Issue: https://github.com/typelevel/governance/issues/149

For Organization Projects:

[x] 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 commented 2 months ago

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 commented 2 months ago

@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 commented 2 months ago

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

typelevel / governance

Migrating: Catscript #150

Migration Checklist

For Organization Projects:

For All Projects:

Announcements