A repository for organizing the Agda GitHub organization itself.

Discussions can be initiated as issue.

There is a list of the repositories in the organization and the people responsible for each on the wiki.