Archived

Description • Owner • Integrations • Docs

---

Description

This repo contains deleted repos that could still be usefull for future reference. You can archive repos in two ways:

• Repos requiring a shallow backup are cloned in the root and pushed WITHOUT the .git directory.
• Repos requiring a full backup (branches and comments included) are added in mirrors/ with git clone --mirror

Note: this repo also contains projects and issues from Q2 2022.

Owner

• @ngawangtrinley
• @mikkokotila

Integrations

• No integrations with other repos.

Docs

No documentations.